康奈尔数学教授 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 宣称破解纳维-斯托克斯难题引发热议(3 条相关)→
「漫话AGI」频道最新
- AI 伦理之争:用伏尔泰反活体解剖的逻辑为模型「感受」辩护 — Sauers_ · 2026-09-15
- 网友反问 AI 对齐前提:人类自己都对齐了吗 — YiMaTweets · 2026-09-15
- 数学家引希尔伯特名言回击「AI 让人过时」和「AI 让人变蠢」两派 — littmath · 2026-09-15
- 经济学家评「超级智能共产主义」：繁荣可行，思想入狱仍是问题 — paulnovosad · 2026-09-15
- 剑桥研究者:专家历来最不担心 AI 失控,但这可能正在改变 — DavidSKrueger · 2026-09-15
- 资深 AI 研究员:别争论减速,该改变游戏规则让安全驱动创新 — mmitchell_ai · 2026-09-15