GPT-6 Astra 攻克 FrontierMath 开放数学难题

社交媒体消息称 OpenAI 尚未发布的下一代模型 GPT-6 Astra 协助解决了一道自 2017 年以来的数学开放难题，取得了 FrontierMath 基准测试的进展。

• FrontierMath 是由 Epoch AI 联合数百名数学家构建的高难度基准测试，包含多道尚未被数学界解决的前沿开放性问题。
• 传闻称该模型并未停留在搜索反例层面，而是证明了反例不可能存在，并给出了证明该结论的核心机制与主要步骤。
• 消息提及该模型在求解过程中提出了一种新的投票规则，展现出形式化数学逻辑构造的相关能力。
• 影响/看点：若大模型攻克长年未决数学难题的成果获得同行评议与权威数学机构核验，意味着人工智能在抽象数理推理领域正在向辅助前沿科学发现的方向迈进。
• 资料依据：
• X：Haider (@haider1)（2026-09-18）：https://x.com/haider1/status/2101053653788582077
• Epoch AI（2024-11-08）：https://epochai.org/frontiermath

本内容由 AI 生成，仅供参考，请注意甄别