mastodon — José A. Alonso — 4 Sep 2026
FrontierMath Erdős (A benchmark of Erdős problems formalized in Lean). ~ Tom Adamczewski, Greg Burnham. https:// epoch.a…
#ai-mathematics #formalization #interactive-theorem-proving
FrontierMath Erdős (A benchmark of Erdős problems formalized in Lean). ~ Tom Adamczewski, Greg Burnham. https:// epoch.ai/files/frontiermath-er dos.pdf # LeanProver # ITP # AI4Math