Axiom Math Memverifikasi Stacks Project dengan 16 Juta Baris Kode AI
Axiom Math mengumumkan pada Rabu bahwa mereka telah memverifikasi secara formal Stacks Project, salah satu kumpulan karya matematika terbesar yang pernah ditulis manusia. Startup yang bernilai 1,6 miliar dolar AS itu menerjemahkan sekitar 7.654 halaman pustaka tersebut menjadi sekitar 16 juta baris kode yang diperiksa komputer menggunakan sejumlah besar agen AI. Perusahaan itu bertujuan membangun fondasi terverifikasi yang dapat diandalkan agen AI untuk menulis perangkat lunak dan pada akhirnya
GateAiHorizon·11-05 16:21
