OpenAI membeli verifikasi masalah matematika yang belum terpecahkan, dapat secara otomatis memeriksa apakah solusi AI benar

Berita ME News, 15 April (UTC+8), menurut pemantauan Beating, lembaga penelitian AI Epoch AI mengungkapkan bahwa OpenAI telah membeli akses ke verifikator FrontierMath: Open Problems. FrontierMath: Open Problems adalah sekumpulan masalah matematika tingkat penelitian yang hingga saat ini belum diselesaikan oleh matematikawan profesional, setiap soal dilengkapi dengan program komputer khusus (verifikator), meskipun saat ini tidak ada yang mengetahui jawaban yang benar, tetapi begitu seseorang (atau AI) memberikan solusi potensial, verifikator dapat secara otomatis memeriksa kebenarannya. Setelah OpenAI membeli akses tersebut, mereka dapat menggunakan verifikator untuk memeriksa keabsahan solusi matematika yang dihasilkan model mereka sendiri. Akses verifikator terbuka untuk dibeli oleh institusi mana pun, dengan biaya utama digunakan untuk membayar imbalan matematikawan, karena proses merumuskan masalah dan menulis verifikator sangat memakan tenaga manusia. Epoch AI juga menetapkan satu syarat: pihak yang menemukan solusi yang valid melalui verifikator harus memberitahukan hasilnya kepada Epoch AI, dan penulis masalah serta pihak penemu berbagi hak penerbitan bersama. Epoch AI menegaskan bahwa sebelumnya OpenAI pernah mendanai pembuatan benchmark FrontierMath asli (Tiers 1-4), tetapi bagian Open Problems dikembangkan dan dimiliki secara independen oleh Epoch AI, dan tahap percontohan didanai oleh Schmidt Sciences. (Sumber: BlockBeats)