资讯
OpenAI史上最强！GPT-6一天攻破5道至今未解数学难题
📋总体概括
OpenAI发布史上最强模型GPT-6 Astra，在德州Stargate超算基地用超10万张GPU完成预训练，首次大规模使用前代模型参与监督训练。在Epoch AI与曼彻斯特大学推出的FrontierMath Erdős基准中，68道无标准答案的未解数学难题需输出Lean形式化证明并经内核核验，GPT-6 Astra成为唯一交出有效答卷的模型，一天攻克5道长期未解猜想，而GPT-5.6、Claude Fable 5.1等四款主流AI全部得0分，且所有模型统一300美元预算、限时72小时。
⚡关键信息
- ▸OpenAI推出品牌史上最强模型GPT-6 Astra，定位全球智能水平最高、对齐效果最优
- ▸训练在德州Stargate超算基地完成，动用超10万张GPU，首次大规模用前代模型监督训练
- ▸FME基准含68道人类悬而未决的Erdős难题，GPT-6 Astra攻克5道，其余四款主流AI全部0分
- ▸测试要求输出Lean形式化证明并由内核自动核验，无标准答案可背
- ▸所有模型统一300美元预算、限时72小时，GPT-6标准环节另解决2题
🔥犀利点评
一天攻克5道人类悬置多年的数学猜想，这个标题党味太冲——真正硬核的是Lean形式化验证这道防伪门槛，证明对了就是对了，吹不了牛。若属实，AI首次在开放未解问题上产出机器可验证的成果，是范式级节点。但疑点同样明显：为何只有OpenAI一家交出有效答卷？同行全0分更像基准设计偏差或独占算力代差，FME与OpenAI的利益关联、测试可复现性，都需要第三方复验后才能定论。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 驱动之家 阅读全文 →