“Harmonic's AI model, Aristotle, correctly solved 10 out of 12 problems on the William Lowell Putnam Mathematical Competition.”