Terobosan Matematika OpenAI

OpenAI melaporkan bahwa model internal baru mereka telah memecahkan lebih dari 100 masalah matematika jangka panjang. Proses ini melibatkan 10.000 agen AI dan diselesaikan hanya dalam waktu 24 hari.

Karena kecepatan perkembangan yang mengejutkan, OpenAI membentuk grup penasihat matematika independen. Mereka akan mendiskusikan cara mempublikasikan hasil AI agar bermanfaat bagi peneliti lain.

Penelitian ini menggunakan pembelajaran penguatan skala besar pada model yang sudah dilatih sebelumnya. Agen AI terus diperbarui selama proses berlangsung untuk menemukan metode pemecahan masalah yang lebih baik.

Sebelumnya, OpenAI telah menunjukkan kemampuan AI dalam teori grup dan geometri. Proyek ini menggunakan verifikasi formal Lean dengan biaya komputasi sekitar 2.000 dolar AS.

OpenAI memberikan bukti penyangkal untuk masalah Navier-Stokes. Mereka menunjukkan bahwa kecepatan fluida bisa menjadi tak terhingga dalam waktu terbatas, meskipun energinya tetap terbatas.

Sekitar 10.000 agen bekerja secara paralel, dengan Codex mengoordinasikan hasil antara. Solusi ditemukan dalam 88 jam dan diverifikasi menggunakan alat Lean dalam 17 jam tambahan.

Laporan menyebutkan OpenAI mungkin mendekati solusi untuk Konjektur Hodge. Meskipun belum ada pengumuman resmi, penelitian internal sedang berlangsung di berbagai bidang matematika.

Meskipun ada spekulasi tentang model bernama 'Bel', OpenAI hanya menyebutnya sebagai 'model internal baru'. Model ini diklaim jauh lebih kuat daripada model Astra yang ada saat ini.

OpenAI memposisikan model ini sebagai 'asisten peneliti otomatis'. Kemampuan ini diharapkan dapat membantu penulisan kode penelitian dan analisis hasil di masa depan.

Pakar menekankan pentingnya mengukur tingkat keberhasilan dibandingkan dengan upaya yang dilakukan. Model baru ini menunjukkan tingkat kelulusan yang lebih tinggi daripada Astra dalam kondisi serupa.

Grup penasihat yang terdiri dari matematikawan terkemuka akan memberikan panduan mengenai standar akademik. Mereka akan membantu menentukan bagaimana hasil AI harus diverifikasi dan dipublikasikan.

Ada rasa penasaran apakah metode penelitian multi-agen ini akan tersedia bagi pengembang. Acara DevDay pada 29 September diharapkan memberikan kejelasan mengenai alat penelitian masa depan.

Di masa depan, peneliti individu mungkin dapat menggunakan ribuan agen AI untuk memecahkan masalah mereka sendiri. Ini berpotensi mempercepat penemuan ilmiah secara signifikan.

Detail lebih lanjut mengenai grup penasihat matematika dan AI dapat ditemukan di situs resmi OpenAI.