**FrontierMath Erdős 基准：68 个未解 Erdős 问题，AI 最高仅得 3%**

_Testing AIs on 68 of the hardest open Erdos problems, verified in Lean_

> Epoch AI 与曼彻斯特大学的 Thomas F. Bloom 发布 FrontierMath Erdős（FME）基准，收录截至 2026 年 8 月仍未解决的 68 个 Erdős 问题，AI 需在 Lean 证明助手中自主证明或证伪。题目从 652 个开放问题中按数学价值与难度筛选。研究者在统一预算（每题 300 美元）下评估五个 AI 模型，仅 GPT-6 Astra 取得 3% 成绩，其余全部为 0%，表明 AI 自主攻克开放数学问题的能力仍十分有限。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-09-23 20:37（北京时间）
- **原文**：[打开原文](https://arxiv.org/abs/2609.25050)