GPT-6 Astra 在 FrontierMath Erdős 固定预算评测中首次解决 2/68 个开放问题，其余四个模型均为 0

Epoch AI 在 9 月 3 日的 GPT-6 Astra pre-release evaluation 更新中报告：FrontierMath Erdős 由 68 个截至 2026 年 8 月仍开放、并形式化为 Lean 的 Erdős 问题组成；每题一次尝试、预算 $300 与 72 小时 working time，只有通过 Comparator / Lean kernel 的 proof 或 disproof 才计为解决。预发布 GPT-6 Astra 在正式 protocol 下解决 2/68：对 problem 74 找到反例，并证明 problem 126；GPT-5.6 Sol、GPT-5.5、Claude Fable 5.1 与 Claude Fable 5 均为 0。另有 larger-budget 非标准尝试解决更多问题，但不计入 3% benchmark score。