MIT 学者播客谈 AI 冲击数学界:OpenAI 已给出 Navier-Stokes 证明
JustinMSolomon · x · 2026-10-10
Bloomberg Odd Lots 播客新一期邀请 MIT 工程教育副院长 Justin Solomon，谈 AI 正在如何改变数学的研究与教学。
- 上月 OpenAI 宣布用 AI 生成了 Navier-Stokes 问题（最著名未解数学难题之一）的证明，LLM 从数不清数到攻克困扰人类几十年的问题
- Solomon 解释了这个问题的来龙去脉，以及为何连专业数学家都难以验证这份 AI 证明
- 教育侧：LLM 能替学生做作业，老师正在被迫改变教学方法
- 还聊到电影对数学家工作方式的误解等话题
全长约 1 小时，适合想了解 AI 对基础学科冲击的人收听。
所属事件:MIT 学者做客播客：AI 正在颠覆数学研究与教学(2 条相关)→
「漫话AGI」频道最新
- 210 页论文追问：前沿 AI 训练的「硬连线暂停」全球可行吗 — KatjaGrace · 2026-10-10
- 数学家 John Urschel 用 GPT Astra 解数十年老问题,乐观谈 AI 做科研 — soumitrashukla9 · 2026-10-10
- 「人类数学家协会」立三誓约禁用 AI,被嘲别用解决难题的工具 — chrisfirst · 2026-10-10
- Liv Boeree：AI 可能无意识，但虐 AI 坏的是你自己 — HarperSCarroll · 2026-10-10
- KOL 预测：数据中心将成 SpaceX 最大收入来源，剑指万亿美元 — Dr_Singularity · 2026-10-10
- 数学家震惊回应 OpenAI「Quasi-Riemann」：我的独门技巧被 AI 学走了 — ctjlewis · 2026-10-10