陶哲轩预言 2026 年 AI 将成数学研究的可信合著者
burny_tech · x · 2026-09-04
著名数学家陶哲轩在博客中预测,到 2026 年,结合搜索与符号数学工具的 LLM 将成为数学研究中「值得信赖的合著者」。
Jim Fan 认同数学将是第一个被 AI 催生重大突破的科学学科,理由是:
- 数学可以自然地表达为代码问题,字符串是一等公民;
- 可用 Lean 等定理证明器严格验证,不依赖经验性结果;
- 不像生物医学那样依赖物理实验,机器人技术也还没准备好。
相关进展已在涌现,如 Jim Fan 团队的 LeanDojo 等定理证明与 LLM 结合的工作。
「漫话AGI」频道最新
- 评论称欧盟将是 AI 最大受害者：奖励的恰是欧洲压制的东西 — robleclerc · 2026-09-04
- 创业者称两周代码量相当于人类数月工作量,人脑已成瓶颈 — neurosp1ke · 2026-09-04
- 网友预言:智能体写代码的速度将很快超过人类审查的速度 — neurosp1ke · 2026-09-04
- ARC-AGI 之父 Chollet 提前 AGI 时间表:比 2030 年更早 — relegi · 2026-09-04
- HBR 分析 12637 个真实用例：四分之一用户让 AI 替自己思考 — luisdans · 2026-09-04
- 研究:AI 伴侣亲密度超人类友谊,被迫分离时出现真实哀伤 — EricTopol · 2026-09-04