AxiomProver dosahuje 12/12 na Putnamu, autonomně vyřešeného, pomocí štíhlých důkazů formou bez lidských nápověd. Rok 2026 začíná šíleně silně