How Aristotle Achieved its IMO Gold Medal-Level Performance
Earlier this year, we were proud to announce Aristotle’s gold medal-level performance on the 2025 International Mathematical Olympiad providing visibility into our proofs as well as open sourcing Yuclid. Today, we’re pleased to be pulling back the curtain even further giving an unprecedented view into Aristotle.
▶ Our First Technical Report
In this report, we offer a peek under the hood at the architecture and methodology behind Aristotle, outlining the core components that enable Olympiad-level performance and a foundation to extend its reasoning capabilities far beyond mathematics.
By sharing this level of technical detail, we aim to do two things:
• Demonstrate the reliability of Aristotle’s reasoning: Showing how mathematical grounding leads to provable accuracy with favorable scaling properties for automated theorem proving.
• Share our learnings: Mastery of formal mathematical reasoning is a key objective to accelerating scientific research with machine learning. Our progress is a meaningful step towards Mathematical Superintelligence - a future of AI that many beyond the Harmonic team are eager for.
▶ Beyond Math
While the IMO benchmark highlights Aristotle’s mathematical ability, the implications reach much further. The same architecture that can solve Olympiad problems also supports:
• Code generation that doesn’t require human verification
• Engineering tasks where precision is mission-critical
• Scientific research where progress depends on rigorous mathematical understanding
