用 Thurston 16 年前的文章回应 AI 数学争议
keenanisalive · x · 2026-09-13
数学家 Keenan Crane(keenanisalive)表示,面对近期围绕 Navier-Stokes 与 AI 数学的讨论,他意识到自己敬仰的数学家 William Thurston 早在 16 年前就已把该说的都说完了,并附上了 Thurston 的经典文章链接。Thurston 那篇《On proof and progress in mathematics》论证数学的本质是人类的理解与共同体实践,而非仅仅形式化证明——这恰好切中当下「AI 能否真正做数学」争论的核心。
「研究」频道最新
- MIT 原型用视觉模型+肌肉电刺激,让 AI 直接指挥人手 — Olivier__OG · 2026-09-13
- 斯坦福团队于 Biometrika 发文,重审 AI 时代的替代结局方法 — lihua_lei_stat · 2026-09-13
- 多智能体团队发布多模态智能体框架综述,附开源论文追踪库 — MikeShou1 · 2026-09-13
- 复杂性理论家：P≠NP 近期无解，但 L/NP 等问题 AI 有望攻克 — _onionesque · 2026-09-13
- SEED-UMI:人与机器人戴同款外骨骼,破解灵巧手数据采集难题 — jeasinema · 2026-09-13
- xeophon 表态愿以全开源工具链支持独立模型评测 — xeophon · 2026-09-13