康奈尔数学教授 Strogatz 谈 AI 攻克数学难题当场落泪
stevenstrogatz · x · 2026-09-15
康奈尔大学数学系教授、科普作家 Steven Strogatz 在 WIRED 采访中谈及 AI 近期在数学上的突破时当场落泪，随后发帖尝试解释原因。
- 触发点：OpenAI 宣布动用数万个智能体在纳维-斯托克斯方程相关百年难题上取得重大进展；Anthropic 的 Claude 在形式化费马大定理证明中完成 29,500 个微定理证明。
- 他称 2026 年要么是数学界的"奇迹年"，要么是颠覆学者生存根基的"大厄之年"。
- 其合著者、数学家 Alex Townsend 也坦言：即便刚借 AI 解决困扰数十年的数值线性代数难题，也毫无喜悦，反觉"站在前沿的成了 AI 智能体，你只是个操作员"。
- OpenAI 的纳维-斯托克斯进展还卷入首创权争议：NYU 数学家 Tristan Buckmaster 等人早已发表极接近的关键成果，商业实验室在 IPO 前夕抢发头条让科学染上资本竞赛色彩。
所属事件:OpenAI 称万级 Agent 88 小时解 Navier-Stokes 难题(11 条相关)→
「漫话AGI」频道最新
- DeepMind 首发智能经济学研究：AGI 冲击经济靠协同而非单模型变强 — Scobleizer · 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
- ThursdAI 播客辩论:Opus 7 将至,「跑分变好」还重要吗 — thursdai_pod · 2026-10-31