数学家 Strogatz 谈 AI 数学突破落泪：既兴奋又恐惧

stevenstrogatz · x · 2026-09-13

康奈尔大学数学家、《Big Math》作者 Steven Strogatz 在接受 WIRED 采访时谈到近期 AI 驱动的数学突破时落泪，他坦言自己也说不清原因，在 X 上发长帖尝试解释心路。他形容「科学令人振奋，但也伴随着很多令人不快的人性纠葛」。近期事件背景：OpenAI 宣布用数万智能体解决了挂有 100 万美元奖金的 90 年数学难题（尚待独立验证），但被数学家 Tristan Buckmaster 指控在得知他与 Anthropic 研究员 Levent Alpöge 的工作后抢先攻关并试图影响署名分配；Anthropic 则称 Claude 在形式化费马大定理证明中证明了 29,500 个小定理。Strogatz 认为，这些摩擦折射出公司实验室在重磅 IPO 前抢占头条的竞赛，正剧烈改变数学界的生态。