tonggak sejarah dalam matematika AI Aristoteles (seorang matematikawan AI) baru saja memecahkan masalah Erdos #124, yang telah dibuka selama hampir 30 tahun Boris Alexeev (matematikawan penelitian) menjalankannya pada beta baru Aristoteles dengan antarmuka penalaran + bahasa alami yang lebih kuat, dan menghasilkan bukti formal penuh. momen yang cukup gila untuk membuktikan teorema AI.