资讯🔥7.0

OpenAI史上最强!GPT-6一天攻破5道至今未解数学难题

驱动之家·2026/9/4 23:57:00🔗 原文

📋总体概括

OpenAI发布号称史上最强的大模型GPT-6 Astra,在德州Stargate超算基地动用超10万张GPU完成预训练,并首次大规模使用前代模型参与监督训练。在Epoch AI与曼彻斯特大学推出的FrontierMath Erdős基准测试中,该模型在68道人类尚未解决的Erdős开放数学难题里攻克5道长期未解猜想,是唯一交出有效答卷的模型,GPT-5.6、Claude Fable 5.1等其余四款主流AI全部为0分。测试要求Lean形式化证明、统一300美元预算与72小时限时,标准环节中GPT-6解出2道题。

关键信息

  • OpenAI推出GPT-6 Astra,官方称其为全球智能水平最高、对齐效果最优的生成式AI模型
  • 训练在德州Stargate超算基地完成,动用超10万张GPU,首次大规模用前代模型参与监督训练
  • FrontierMath Erdős基准含68道人类未解Erdős难题,GPT-6 Astra攻克5道长期未解猜想
  • 其余四款主流模型包括GPT-5.6、Claude Fable 5.1全部得0分,GPT-6是唯一交出有效答卷者
  • 测试要求Lean形式化证明并自动核验,统一预算300美元、限时72小时,杜绝背答案

🔥犀利点评

一天攻破5道人类悬置多年的Erdős猜想,若Lean内核验证属实,这不是营销话术而是范式切换——AI从做题家变成了出题人眼中的合作者。但冷静点看:68道只解5道,且标准环节只有2道,剩余63道依然纹丝不动;对手全员0分更像是代际碾压而非生态繁荣。真正该追问的是验证环节的可复现性和这10万张GPU烧出的成本账,奇迹背后,先看别人能不能复现再说。

本文由本站自动聚合,以下为原始来源:前往 驱动之家 阅读全文