“Axiom's AI system solved 9 out of 12 problems on the Putnam exam, a score that would have won the competition against 4,000 human participants in the previous year.”