AxiomProver ottiene 12/12 su Putnam, risolto autonomamente, utilizzando prove formali lean senza suggerimenti umani. Il 2026 inizia in modo incredibilmente forte