2 ms·AxiomProver Solves All Problems at Putnam 2025: Proof Release and Commentary2 points by logicchains 9mo ago