Epoch AI 发布 FrontierMath Erdős 基准方法论：68 个 Lean 形式化的 Erdős 公开猜想

Epoch AI 公布 FrontierMath Erdős 基准的完整方法论，包含 68 个 Lean 4 形式化猜想，覆盖 erdosproblems.com 上截至 2026 年 8 月仍公开的 65 个问题，由策展人 Thomas Bloom 选题。