"Matematika sedang mengalami perubahan terbesar dalam sejarahnya." Senang melihat agen matematika kami #Aletheia ditampilkan oleh @newscientist pada hasilnya di tantangan perdana FirstProof, di samping tonggak menarik lainnya dalam penelitian AI untuk Matematika! Implikasi yang layak dipikirkan. Tautan di utas.