FrontierMath Erdős：以 Erdős 問題為基準的 AI 數學能力測試

FrontierMath Erdős 是一個以 Erdős 問題為基準的 AI 數學能力測試基準，提供可重現的評估流程與 68 個挑戰問題。

• 基準設計：挑選 68 個高難度 Erdős 問題，並使用 Lean 進行自動驗證。