Strogatz谈AI数学突破:科学振奋但人性之恶令人落泪
stevenstrogatz · x · 2026-09-13
康奈尔大学数学家、《Big Math》合著者 Steven Strogatz 接受 WIRED 专访,谈及近期 AI 驱动的数学突破时落泪:「科学令人振奋,但随之而来的人性之恶太多了。」
- OpenAI 宣布用数万个 agent 解决了一个悬置 90 年、附带 100 万美元奖金的数学难题(尚待独立验证),建立在西班牙数学家 Córdoba 与 Martínez-Zoroa 的策略之上;但数学家 Buckmaster 指控 OpenAI 在得知他与 Anthropic 研究员 Alpöge 的工作后抢先求解,并试图操纵成果归属。
- 上周 Anthropic 宣布 Claude 在形式化费马大定理现有证明时证明了 29,500 个小定理,而这是其他数学家耕耘多年的项目。
- 8 月 OpenAI 还宣布在 10 个长期数学问题上取得进展。
Strogatz 认为,这场撕裂是 AI 带来的剧变的症状,折射出企业实验室在重磅 IPO 前抢头条的竞赛;他的新书探讨数学正在滑出人类理解范围。
所属事件:数学家 Strogatz 谈 AI 数学突破落泪,发推串自剖心迹(8 条相关)→
「漫话AGI」频道最新
- 传教士与雇佣兵之辨:AI 从业者能否扛住估值回调 — signulll · 2026-10-31
- AI 把漏洞挖掘从数月压缩到数小时,传统补丁防御体系告急 — bendee983 · 2026-10-31
- 追逐 Karpathy 峰:AI 生产力曲线与过用后的 Slop 悬崖 — sirbayes · 2026-10-31
- 当 AI 代理互相博弈:军备竞赛、算法合谋与利用三种结局 — krishnan · 2026-10-31
- 「互联网未死」:AI 将撕开平台围墙花园,夺回我们的互联网 — esrtweet · 2026-10-31
- 想要实验室公开失败报告,就别把每次披露都当成关停罪证 — VraserX · 2026-10-31