OpenAI 一次解出数百道数学难题,数学家收藏了 19 年的白兰地没机会开了

GarrisonLovely · x · 2026-10-28

《纽约时报》/ Steven Strogatz(Cornell 数学教授)的文章举例说明 OpenAI 发布的「数百道已被解出的数学难题」对数学界的冲击:逻辑与集合论学者 Justin Moore 有一个他持续回归了 19 年的心爱难题,2010 年在马赛附近买了一瓶 XO 干邑,打算问题解决时开瓶并邀请所有参与者共庆。

如今这个关于 non-amenable groups 和 Thompson's F 的问题「被机器杀死了」——只是 OpenAI 战利品袋中的一件,作者将其比作「像砍下的犀牛头一样陈列」。即使外人看不懂问题本身,也不影响这个故事传达的信号:前沿模型正在批量终结数学家毕生投入的开放问题。

所属事件:OpenAI 宣布数学、复杂性理论与物理三项 AI 发现,Anthropic 交叉印证 ETH 被证伪(123 条相关)→

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →