GPT-6 Astra刚出道便解决了5道Erdős数学难题。这一成果来自Epoch AI和曼彻斯特大学发布的FrontierMath Erdős(FME)基准测试论文。该测试包含68道至今未解的数学难题,共有5个顶级AI模型参与。GPT-6 Astra是唯一得分的模型,得分率为3%。其他四个模型,包括GPT-5.6 Sol、GPT-5.5、Claude Fable 5.1和Claude Fable 5,均未能解出任何题目。

在放宽计算预算的追加测试中,GPT-6 Astra总共解开了5道题。其中一道是Erdős本人1931年提出的“也许是我第一个认真的问题”。另一道是1962年提出的Erdős-Sós猜想,被称为“极值图论中最诱人的问题之一”。

最近有关AI攻克数学开放问题的消息不断传出。2026年5月,OpenAI宣布AI推翻了单位距离猜想;7月,有数学家用Claude Fable 5发现了三维Jacobian猜想的反例;8月,OpenAI又公布了AI在十个数学和理论计算机科学问题上取得的新成果,其中包括若干Erdős问题。

然而,陶哲轩在2026年国际数学家大会(ICM)的报告中指出,这些成果大多“不是在受控的科学条件下取得的”,存在多个方面的问题:只报成功不报失败导致成功率未知,算力消耗不公开,人类引导程度不透明,训练数据可能已包含答案,以及不同模型之间从未做过系统比较。



贵公网安备52011302005168号