Sebagai bagian dari proyek First Proof, kecerdasan buatan menjalani salah satu tes matematika paling menantang hingga saat ini, dengan empat sistem AI diminta untuk memecahkan sepuluh masalah penelitian yang kompleks.