An AI system matched gold-medal-level performance on 2025 math olympiad problems
Aristotle, an AI system for automated theorem proving, achieved gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems. It paired informal reasoning with formal proof checking, including a dedicated tool for geometry problems.
·137 views