OpenAI Rilis Hasil Penelitian Matematika Masif, 722 Naskah Bantu Matematikawan Eksplorasi Masalah

OpenAI telah merilis basis data penelitian matematika masif yang dihasilkan oleh model internal terdepan, menyediakan ratusan hasil yang dihasilkan mesin bagi para matematikawan. Basis data ini dipublikasikan di repositori GitHub publik, berisi 722 naskah, diatur ke dalam 372 kategori penelitian. Penelitian ini mencakup bidang matematika murni, ilmu komputer teoretis, dan fisika matematika. Beberapa hasil mengeksplorasi masalah yang memerlukan rantai penalaran matematika yang panjang. OpenAI juga merilis versi formal dari banyak bukti, ditulis dalam bahasa Lean, memungkinkan komputer memeriksa argumen dasarnya.

Konten Naskah dan Ruang Lingkup Penelitian

Repositori ini mencakup masalah dalam teori bilangan, teori kompleksitas komputasi, geometri, dan fisika matematika. Beberapa hasil memperluas area di mana kemajuan kecil mungkin memerlukan pekerjaan teknis yang besar. OpenAI menyatakan: "Kami merilis hasil matematika baru yang luas yang dihasilkan oleh model internal terdepan. Kami telah berkonsultasi dengan panel asesor matematika dan kecerdasan buatan independen di Institute for Advanced Study, dan merujuk pada saran mereka."

Misalnya, satu hasil melibatkan eksponen irasional pi. Ukuran ini mengukur seberapa dekat bilangan rasional dapat mendekati pi. Model tersebut menghasilkan sebuah hasil yang mengeksplorasi perilaku matematika dari aproksimasi tersebut. Kategori penelitian lain meneliti masalah NP-hard. Masalah-masalah ini berada dalam teori kompleksitas komputasi, melibatkan tugas yang diyakini sulit diselesaikan secara efisien. Karya model tersebut menambahkan hasil matematika ke badan penelitian yang lebih luas tersebut. Naskah lain menyelesaikan masalah yang melibatkan konjektur Mahler, deret aritmatika, dan faktor grup bebas. Kumpulan ini juga mencakup penelitian tentang ferromagnet Heisenberg kuantum dan persamaan Vlasov-Makswell relativistik.

Verifikasi dan Kutipan Basis Data

OpenAI mengelompokkan naskah terkait ke dalam kategori penelitian untuk menunjukkan koneksi antar hasil. Repositori ini juga menandai 10 kategori, dilengkapi dengan ringkasan singkat penalaran model. Lean menyediakan lapisan verifikasi penting. Bahasa pemrograman ini memungkinkan peneliti mengubah pernyataan dan bukti matematika menjadi kode formal. Komputer dapat memeriksa apakah setiap langkah penalaran logis sesuai dengan asumsi yang dinyatakan. Hal ini tidak secara otomatis menetapkan bahwa setiap klaim penelitian dalam basis data benar, banyak naskah masih tidak memiliki versi formal Lean. OpenAI menyatakan, seiring penyelesaian pekerjaan verifikasi oleh peneliti, akan ditambahkan lebih banyak versi formal.

Repositori ini juga melacak revisi naskah, dan menyediakan panduan kutipan, sehingga peneliti memiliki catatan yang lebih jelas saat penulis memperbaiki atau memperluas naskah awal. OpenAI mengembangkan proses rilis ini atas saran panel asesor matematika dan kecerdasan buatan independen di Institute for Advanced Study. OpenAI juga mengungkapkan skala evaluasi matematikanya. Model tersebut mencoba sekitar 4,000 masalah selama penelitian, dengan rata-rata setiap hasil yang diterima mengonsumsi sekitar tiga jam waktu komputasi ChatGPT Pro. Selain itu, OpenAI juga merilis statistik tambahan yang mencakup masalah yang dicoba dan hasil penelitian.

Perusahaan tersebut menyatakan, ringkasan penalaran memberikan pemahaman yang lebih mendalam bagi peneliti, memungkinkan mereka melihat bagaimana model menangani masalah matematika terpilih. Ringkasan ini terpisah dari bukti formal dalam Lean.

OpenAI berencana mendukung bengkel, konferensi, dan proyek khusus yang berfokus pada pemahaman hasil matematika signifikan yang dihasilkan AI, dan memperkirakan umpan balik matematikawan akan memengaruhi rilis mendatang. Oleh karena itu, rilis ini bukan sekadar kumpulan naskah; ia menyediakan uji coba untuk melihat bagaimana matematika yang dihasilkan mesin memasuki proses penelitian, dilengkapi dengan catatan yang dapat direproduksi, bukti yang dapat diperiksa komputer, dan transparansi hasil yang lebih besar.

Dampak dan Tantangan Penelitian Matematika yang Dihasilkan AI

Rilis OpenAI kali ini menandai kemajuan baru dalam penelitian matematika kecerdasan buatan, menyediakan sejumlah besar hasil matematika yang dihasilkan mesin, yang tidak hanya dapat membantu matematikawan mengeksplorasi masalah kompleks, tetapi juga berpotensi mengubah metode penelitian tradisional. Bukti yang ditulis dalam bahasa Lean di basis data menyediakan mekanisme verifikasi untuk penelitian, meskipun masih diperlukan lebih banyak versi formal untuk memastikan kebenaran hasil. Seiring dengan umpan balik matematikawan terhadap hasil yang dihasilkan AI, penelitian masa depan mungkin akan semakin bergantung pada teknologi semacam ini, mendorong inovasi dan pengembangan di bidang matematika.