⚡ GILA: Sebuah AI baru saja menyelesaikan dalam 11 hari apa yang menghentikan manusia paling cerdas di Bumi selama 358 tahun. Teorema Terakhir Fermat ditulis di margin buku pada tahun 1637 dengan catatan bahwa buktinya tidak akan muat. Manusia butuh waktu hingga tahun 1994 untuk menyelesaikannya, dan bahkan bukti itu begitu kompleks sehingga hampir tidak ada yang bisa memeriksanya secara menyeluruh. Claude dari Anthropic baru saja menulis ulang seluruhnya menjadi 13 JUTA baris kode yang dapat diverifikasi sendiri oleh komputer, dalam waktu kurang dari dua minggu. Seluruh bukti sekarang tersedia publik, dan siapa pun dapat memeriksanya baris demi baris.