⚡ GILA: Sebuah AI baru sahaja menyelesaikan dalam 11 hari apa yang menghalang manusia paling bijak di Bumi selama 358 tahun. Teorem Terakhir Fermat ditulis di tepi buku pada tahun 1637 dengan catatan bahawa buktinya tidak muat. Manusia memerlukan masa hingga tahun 1994 untuk menyelesaikannya, dan bahkan bukti itu begitu kompleks sehingga hampir tiada siapa yang boleh memeriksa sepenuhnya. Claude daripada Anthropic baru sahaja menulis semula keseluruhan bukti itu menjadi 13 JUTA baris kod yang boleh disahkan sendiri oleh komputer, dalam masa kurang daripada dua minggu. Keseluruhan bukti kini adalah awam, dan sesiapa sahaja boleh memeriksa baris demi baris.