Epoch AI 发布 FrontierMath Erdős 数学基准

Epoch AI 发布 FrontierMath Erdős 基准，从 erdosproblems.com 的未解问题中由 Thomas Bloom 选出 68 道兼具数学意义与难度的问题，其中 50 道已由 Google Formal Conjectures 项目完成 Lean 形式化。