Aristotle from @HarmonicMath got 10/12 problems within 7 hours on Putnam, the world’s hardest undergrad math competition! How do I know this? Well, I ran Aristotle myself via Harmonic’s public API. And it took me about 10 minutes to get started and kick it off! 9 out of 10 problems completed in less than 3 hours. The tenth (B5) took 7 hours, one hour more than the contestants are allotted. For all 10 problems, I gave Aristotle the problem statements in English — and it autoformalized the statements, proved them, and produced verified outputs autonomously, with zero human feedback. As someone who loves math but is not an expert, it’s exciting to have a tool this powerful at my fingertips! 1/