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

de New Paradigm: AI Research Summaries