AxiomProver, Putnam'da 12/12 puan alır; otonom olarak çözülür ve insan ipucu olmadan form lean ispatları kullanılır. 2026 yılı inanılmaz güçlü bir şekilde başladı