Epoch AI 发布 FrontierMath Erdős 基准，Astra 解出 2/68

Epoch AI 联合数学家、erdosproblems.com 创建者 Thomas Bloom 推出新数学基准 FrontierMath Erdős，精选 68 道尚未解决的 Erdős 型难题，要求 AI 给出 Lean 形式化证明并投入充足算力测试。结果显示 GPT-6 Astra 成为首个破题的模型，解出 68 题中的 2 道位居榜首，凸显前沿模型与真正未解数学难题之间仍有巨大差距。

2026-09-04 ~ 2026-09-04 · 4 条相关

• Erdős 问题+Lean 证明实测：Astra 官方解出 2/68 — Jsevillamol · 2026-09-04
• Epoch AI 推出 FrontierMath Erdős:Astra 解出 68 道未解难题中的 2 道 — littmath · 2026-09-04
• Epoch AI 发布 FrontierMath Erdős 基准，Astra 以 2/68 居首 — keviv9 · 2026-09-04

另有 1 条近重复转述:Jsevillamol