What role does Stanford's Putnam-AXIOM play in evaluating AI's mathematical reasoning?

by New Paradigm: AI Research Summaries