OpenAI下一代AI攻克10项菲尔兹奖级难题新智元

OpenAI还有大招！

奥特曼刚演示的内部模型Astra，一口气在10个数学难题取得重大突破！

这249页的PDF，在整个数学圈都是非常炸裂的程度。

论文：https://cdn.openai.com/pdf/ten-proofs-oai.pdf

证明：https://openai.com/index/ten-advances-in-mathematics/

Github开源Lean证明：https://github.com/openai/ten-proofs

数学家、美国数学学会Fellow、罗格斯大学杰出教授Alex Kontorovich难掩震惊，只留两个惊叹号。

这是一个足以载入史册的分水岭时刻：无论在数学领域，还是AGI的征程上。

说得直白些：如果这些结果经受住整个学界的检验，那么单是今天的这一轮发布，便堪称现代史上相关领域单日跨度最大的一次飞跃！

Claude Fable 5更是直言：「按照菲尔茨奖标准，任何一项都足以获奖」!

最令人震惊的是，破解这十大难题，OpenAI竟然只用了2000美元。

数学界地震！载入AI史册的一刻

五月份，OpenAI公布了AI发现的埃尔德什单位距离猜想的反例。

但现在确认了，这是OpenAI的下一代模型Astra破解的，也是奥特曼现在正在给美国国会演示的那个模型。

现在，OpenAI又分享了Astra在至少十年没有进展的难题上的最新成果。

这些问题涉及高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学和极值组合学等广泛领域。

消息一出，数学圈瞬间炸锅！

其中，最出色的成果，可能是Astra终结了Gromov自1999年提出的非sofic群问题。

钱学森母校加州理工学院的某位数学博士称：「这是菲尔茨奖级别的成果」！

按照Epoch AI的OpenMath的评分标准，GPT-5.6 Sol Pro和Fable 5 Max认为：

大部分结果都能得到同行的高度认可，被评为「Major Advance」(重大进步)。

唯独第三项，具有破圈的潜质，有望成为全年数学领域最佳成果之一，被评为「突破」。

第三项结果也是一个反例：

OpenAI Astra构造出无限有限呈现的非sofic群，否定「所有可数群都是sofic」的猜想。

曼彻斯特大学皇家学会大学研究员、数学家Thomas Bloom直言：这次突破比此前OpenAI证伪单位距离猜想更重要。