Kami merilis berbagai hasil matematika baru yang dihasilkan oleh model frontier internal. Kami telah berkonsultasi dengan Kelompok Penasihat Independen untuk Matematika dan Kecerdasan Buatan di Institute for Advanced Study untuk mengembangkan praktik terbaik. Untuk rilis ini, kami mempublikasikan hasilnya di repositori Git Hub, dengan protokol untuk revisi makalah dan kutipan.
Kami membagikan formalisasi dari banyak bukti dalam Lean, bahasa pemrograman yang memungkinkan bukti matematika diperiksa oleh komputer. Kami juga mempublikasikan 10 ringkasan penalaran model dan estimasi komputasi yang digunakan. Hasil rata-rata menggunakan komputasi setara dengan sekitar tiga jam pemikiran Chat GPT Pro.
Kami ingin kemajuan ini mendorong batas pengetahuan manusia. Kami akan mendanai serangkaian lokakarya, konferensi, dan program khusus seputar pemahaman hasil utama yang dihasilkan oleh AI. Kami bekerja untuk merilis secara bertanggung jawab model yang menghasilkan hasil ini dan akan terus bertindak berdasarkan umpan balik dari komunitas.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing