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

od New Paradigm: AI Research Summaries