“Harmonic's AI system, Aristotle, achieved gold medal level performance at the 2025 International Mathematical Olympiad.”