mastodon — José A. Alonso — 4 Sep 2026
Announcing FrontierMath Erdős (A benchmark of 68 significant Erdős problems, open as of August 2026, curated by Thomas B…
#formal-verification #interactive-theorem-proving #ai4math
Announcing FrontierMath Erdős (A benchmark of 68 significant Erdős problems, open as of August 2026, curated by Thomas Bloom and formalized in Lean). ~ Tom Adamczewski, Greg Burnham. https:// epoch.ai/latest/announcing-fro ntiermath-erdos # LeanProver # ITP # AI4Math