FrontierMath Erdős

英文标题：FrontierMath Erd\H{o}s

FrontierMath Erdős（FME）是一个包含 68 道 Erdős 问题的基准测试集，这些问题截至 2026 年 8 月仍处于公开未解状态。要完成 FME 中的任务，AI 系统必须在证明助手 Lean 中解决其中一项猜想，即给出证明或反例。该基准将数学研究级开放问题与形式化验证结合，可用于评估 AI Agent 在严谨数学推理、定理证明和 Lean 形式化方面的能力。

2.1 KB 640 B 612 B 380 B 9.1 KB 32.7 KB 22.8 KB 24.2 KB 34.7 KB