资讯
OpenAI史上最强！GPT-6一天攻破5道至今未解数学难题
📋总体概括
OpenAI发布号称史上最强模型GPT-6 Astra，在德州Stargate超算基地用超10万张GPU完成预训练，并首次大规模采用前代模型参与监督训练。在Epoch AI联合曼彻斯特大学推出的FrontierMath Erdős基准中，面对68道人类未解的Erdős开放数学难题，GPT-6 Astra成为唯一有效作答的模型，攻克5道长期未解猜想，而GPT-5.6、Claude Fable 5.1等四款主流模型全部0分。测试要求输出Lean形式化证明并由内核自动核验，统一300美元预算和72小时限时，排除了背答案的可能。
⚡关键信息
- ▸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分
- ▸测试要求Lean形式化证明并由内核自动核验，统一300美元预算、72小时限时，杜绝背答案
🔥犀利点评
一天攻破5道人类悬而未解的猜想，若Lean形式化证明经得起核验，这已经不是刷分，而是AI第一次在纯数学前沿摸到了人类够不着的果子。更值得玩味的是四款主流模型集体0分——差距不是领先，而是断层。当然，还要等独立复现和数学界认可，但格局恐怕要重新画了。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 驱动之家 阅读全文 →