Toby Ord：AI 尚未触及数学最核心的发明与提问
tobyordoxford · x · 2026-08-23
牛津大学 Toby Ord 发布短文《Mathematics is Much More than Proof》，反驳了“AI 将取代数学家”的观点。文章指出，虽然 AI 在 2026 年已能证明从猜想到重要定理的一系列结果（如 OpenAI 8 月发布的 10 个证明），但这仅是数学自动化的新阶段而非终点。
Ord 认为，证明只是数学的一部分，并非最有趣的部分。数学的深层工作还包括：
- 提出正确的问题：判断哪些问题值得解决。
- 发明新领域：创造全新的概念和词汇体系，使全新类型的问题成为可能。
目前的 AI 尚未具备提出问题和发明新领域的能力，因此人类数学家在这些深层工作上仍不可替代。
所属事件:Toby Ord：AI 自动化证明，但数学不止证明(9 条相关)→
「漫话AGI」频道最新
- 马里兰大学哲学系招聘 AI 伦理与心灵哲学两教职 — sethlazar · 2026-10-16
- Dwarkesh 转述：Anthropic 内部预计 9 个月内 AI 比肩人类 AI 研究员 — ZeroStateReflex · 2026-10-16
- 密歇根学者：AI 向善项目为何失败，监管不能靠厂商自律 — benzevgreen · 2026-10-16
- Sara Dietschy 感叹：AI 模型、商业模式、团队、服务商，一切皆是对齐问题 — saranormous · 2026-10-16
- David Brin：LLM 缺乏进化产物中关键的「欲望」能力 — cccalum · 2026-10-16
- AI 杀死的不是学习的乐趣，而是学会的荣耀 — ZeroStateReflex · 2026-10-16