“In December, Axiom Prover achieved a perfect score of 120 out of 120 on the Putnam exam, becoming only the sixth perfect score in the exam's 98-year history.”