AxiomProver досягає 12/12 на Патнамі, автономно розв'язано, використовуючи охолоджені докази без людських підказок. 2026 рік починається шалено сильно