“Harmonic's AI model, Aristotle, achieved a gold medal performance at the International Mathematical Olympiad by solving five out of six problems.”