19 July 2025 The 66th International Mathematical Olympiad draws to a close today, and we have an exciting final day ahead of us on the Sunshine Coast. As is ...| imo2025.au
MathArena: Evaluating LLMs on Uncontaminated Math Competitions| matharena.ai
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics| Google DeepMind