数学

2026

若全宇宙只有 AI 懂证明，数学便毫无意义——当机器接管推演与代码

2026年10月31日·7683 字·16 分钟

科研可以规划投入，却不能按计划生产突破：从两枚菲尔兹奖说起

2026年8月30日·7060 字·15 分钟