AxiomProver atteint 12/12 au Putnam, résolu de manière autonome, en utilisant des preuves lean sans indices humains. 2026 commence de manière incroyablement forte