AxiomProver saavuttaa 12/12 Putnamissa, autonomisesti ratkaistuna käyttäen muotolean-todistuksia ilman ihmisen vihjeitä. Vuosi 2026 alkaa hullun vahvasti