Researchers introduced FrontierMath Erdős (FME), a benchmark of 68 open Erdős problems formalized in the Lean proof assistant, to systematically evaluate AI capabilities in mathematics. Five AI systems were tested with a $300 budget per problem, with only GPT-6 Astra achieving 3% success and all others scoring 0%.
A curated collection of mathematics books and essays celebrating the beauty and creativity of mathematics, from classical works like Euclid's Elements and Russell's Principia Mathematica to modern popularizations that make mathematics accessible to curious learners.