1/ AxiomProver telah memecahkan dugaan terbuka Fel pada syzygies semigroup numerik, secara mandiri menghasilkan bukti formal dalam Lean tanpa bimbingan manusia. Ini adalah pertama kalinya sistem AI menyelesaikan masalah penelitian yang belum terpecahkan dalam matematika membangun teori dan verifikasi diri.