OpenAI GPT-6 Astra震撼发布：单日破解5道Erdős未解数学难题，算力成本揭秘-硕谷新闻聚合

OpenAI近日正式揭晓了其技术演进历程中的里程碑之作——GPT-6 Astra。据官方宣称，该模型不仅代表了当前全球人工智能智能水平的巅峰，更在安全对齐方面取得了前所未有的突破，被定位为业界最强的生成式AI系统。

这款旗舰产品的训练任务部署于美国德克萨斯州的Stargate超级计算中心，动用了逾10万块GPU集群进行预训练工作。值得注意的是，这是OpenAI首次在如此大规模的训练过程中引入上一代模型作为监督者，标志着其研发策略的重大转变。

究竟这款新模型的实战能力达到了何种境界？

根据Epoch AI与曼彻斯特大学联合发布的FrontierMath Erdős（简称FME）基准测试报告，GPT-6 Astra是唯一一款在该项高难度挑战中提交有效解答的大语言模型。

面对包含68个至今困扰人类学界的Erdős数学猜想组成的严苛测试集，GPT-6 Astra成功攻克了其中5个长期悬而未决的难题。相比之下，包括GPT-5.6和Claude Fable 5.1在内的其他四款主流顶尖AI模型均未能得分，表现为零。

此次评测特意选取了所有尚无标准答案的开放式问题，以彻底排除模型通过记忆训练数据“作弊”的可能性。评估标准要求AI必须输出基于Lean证明助手的形式化证明，并由内核自动验证其逻辑正确性。为确保公平性，所有参与测试的模型均被设定为300美元的预算上限及72小时的运行时限。

在基础测试阶段，GPT-6 Astra顺利解决了2个问题；而在随后放宽算力限制的追加实验中，它又额外突破了3个难关。其中包括由Erdős在18岁时提出、被他称为“人生首个严肃课题”的1931年解离集猜想，以及极值图论领域著名的Erdős-Sós猜想。这些题目曾让无数顶级数学家数十年来束手无策。

在这五项成就中，既有通过构造反例推翻旧有猜想的案例，也有对全新命题完成完整证明的成果，其解题难度可见一斑。

据统计，GPT-6 Astra完成这五道题目的全部尝试过程消耗了超过22万美元的计算资源。然而，仅就标准基准测试部分而言，花费约为2万美元。若按照单次尝试300美元且成功率仅为3%来计算，解决一个重大开放数学问题的期望成本大约维持在1万美元左右。

尽管成绩斐然，但相关论文也指出了局限性：模型可能具备正确的解题思路，却难以将其转化为严谨的Lean形式化证明。此外，目前的基准测试仅聚焦于解题能力，而真正的数学研究同样重视提出新颖问题的能力。鉴于68道难题中仍有63道未被解开，即便OpenAI高调宣布“AGI时代来临”，但在全面征服高阶数学领域之前，前路依然漫长。

广告声明：文内含有的对外跳转链接（包括不限于超链接、二维码、口令等形式），用于传递更多信息，节省甄选时间，结果仅供参考，硕谷新闻聚合所有文章均包含本声明。