Harmonic's reasoning model Aristotle achieves gold medal performance on International Math Olympiad

Harmonic's AI model Aristotle solved five of six IMO 2025 problems with verified Lean proofs, marking a major milestone in mathematical reasoning

Raccontata dacryptobriefing.com