AxiomProver alcança 12/12 no Putnam, resolvido autonomamente, usando provas de forma lean sem pistas humanas. 2026 começa incrivelmente forte