资讯

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开放难题,GPT-6 Astra成为唯一交出有效答卷的模型,在统一300美元预算、72小时限时、Lean形式化证明自动核验的公平条件下攻克5道长期未解猜想,而GPT-5.6、Claude Fable 5.1等四款主流模型全部得0分;标准测试环节其解决2道题。若属实,标志AI首次实质性触碰人类数学前沿。

关键信息

  • OpenAI发布GPT-6 Astra,动用超10万张GPU在德州Stargate超算基地完成预训练
  • FrontierMath Erdős基准含68道人类未解的Erdős开放难题,要求输出Lean形式化证明由内核核验
  • GPT-6 Astra攻克5道长期未解猜想,成为唯一有效作答的大模型
  • GPT-5.6、Claude Fable 5.1等四款主流AI在该测试中全部得0分
  • 测试统一300美元预算、72小时限时,且题目无标准答案以杜绝背题

🔥犀利点评

先泼冷水:截至可查证的公开信息,OpenAI并未发布任何名为GPT-6的模型,文中的Claude Fable 5.1也闻所未闻,加上未来时间戳,这更像是拼接杜撰的流量稿。即便如此,故事设计本身值得玩味:形式化证明加内核核验确实是唯一能防AI数学造假的技术路线,若真有大模型在此类基准攻克5道开放猜想,那将是超越IMO金牌量级的里程碑——但里程碑从不靠自媒体宣布,等arXiv论文和可复现结果吧。

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