面对 AI 数学争论,keenan 推荐重读 Thurston 1994 年经典《论证明与数学进步》
keenanisalive · x · 2026-09-13
针对近期围绕 Navier–Stokes 与 AI 数学的讨论,keenanisalive 表示数学家 William Thurston 早在三十年前就把该说的都说完了,推荐重读其 1994 年论文《On Proof and Progress in Mathematics》。
该论文是对 Jaffe–Quinn 之争的回应,核心论点:数学的进步不只体现为定理的形式化证明,还包括人类对数学概念的理解深化;Thurston 结合自己在叶状结构、三维流形几何化与动力系统方面的工作,阐述了形式证明之外多种形式的数学进展。
在 AI 证明工具争议(如 Navier–Stokes 相关争论)当下,这篇旧文被视为讨论「什么才算数学贡献」的关键参照。
所属事件:AI 数学争议发酵，数学界重读 Thurston 经典并展望算力普及(4 条相关)→
「漫话AGI」频道最新
- DeepMind 首发智能经济学研究：AGI 冲击经济靠协同而非单模型变强 — Scobleizer · 2026-10-31
- Claude 已能用 2 万美元 token 做出专业软件,TAM 同步缩至 2 万 — bigblueboo · 2026-10-31
- 从 1769 年陶器厂到 AI:一篇长文追问 9-5 工作制会不会消亡 — Konstantine · 2026-10-31
- LifeArchitect 10 月刊:中国拟限制 AI 技术出口,Kimi K3.1 Pro 与 Genie 4 在列 — dralandthompson · 2026-10-31
- 中国公司用「AI 复活」服务安抚失亲者，30 秒音视频即可生成数字分身 — ArtificialOther · 2026-10-31
- AI 时代何为「科学发现」？ICLR 2027 提案 SCOPE 研讨会聚焦争议 — mariyaivasileva · 2026-10-31