资讯
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是唯一交出有效答卷的模型
- ▸GPT-6 Astra攻克5道长期未解猜想，GPT-5.6、Claude Fable 5.1等四款主流AI全部得0分
- ▸测试要求Lean形式化证明由内核自动核验，杜绝背答案，各模型统一300美元预算、72小时限时
🔥犀利点评
这则消息的可信度需要打个大问号：GPT-6、Claude Fable 5.1这些命名本身就像营销编号，而「一天攻破5道未解猜想」若为真，数学界早已天翻地覆，而不只是科技媒体的一条快讯。形式化证明加内核核验的设计确实严谨，能防注水，但目前可验证的公开证据为零。建议读者把它当行业风向看，别当既成事实信。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 驱动之家 阅读全文 →