AxiomProver behaalt 12/12 op Putnam, autonoom opgelost, met behulp van formele lean bewijzen zonder menselijke hints. 2026 begint waanzinnig sterk