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 数学突破落泪，发自述澄清(5 条相关)→
「漫话AGI」频道最新
- 国际象棋早被 AI 攻克，为何人类依然热学热玩 — njyx · 2026-09-13
- Gary Marcus 联合发文，质疑 Dario「AI 机器人半年接管互联网」论 — GaryMarcus · 2026-09-13
- Noah Smith：「英雄时代终结」，AI 数学能力逼近超越所有人类 — inductionheads · 2026-09-13
- 讽刺帖：推迟前沿 AI 或让 2030 年癌症患者等不到疗法 — cgarciae88 · 2026-09-13
- 转发者称 e/acc 一派的 AI 安全路线存在根本性错误 — NathanpmYoung · 2026-09-13
- 为什么默认中国会放任 AI 公司「莽到自毁」？安全辩论再起 — JeffLadish · 2026-09-13