OpenAI Mengklaim AI Menyelesaikan Tiga Masalah Ilmiah Utama dalam Matematika, Ilmu Komputer, dan Fisika

OpenAI mengatakan sistem AI-nya menghasilkan bukti yang menangani tiga masalah terbuka utama di bidang matematika, ilmu komputer, dan fisika. OpenAI melibatkan para ahli luar untuk menilai hasil tersebut. Peneliti independen masih harus menentukan apakah bukti-bukti tersebut valid dan mengukur signifikansi temuan tersebut untuk masing-masing bidang.

OpenAI mengatakan model-modelnya membuktikan dugaan penyamarataan lokal, sebuah masalah matematis berusia puluhan tahun yang berkaitan dengan propagasi dan konsentrasi gelombang. Dugaan ini memprediksi bahwa rata-rata gelombang seiring waktu mengurangi intensitasnya dibandingkan momen-momen paling ekstremnya. Hasil ini juga akan menyelesaikan dugaan Kakeya yang telah lama ada dan dugaan pembatasan Stein. Dugaan Kakeya berkaitan dengan ukuran minimum suatu bentuk yang berisi segmen garis dalam setiap arah. Dugaan pembatasan Stein berkaitan dengan perilaku frekuensi matematis fungsi di sepanjang permukaan melengkung. OpenAI mengatakan model-modelnya menghasilkan hasil tersebut pada 18 Oktober. OpenAI mengatakan hasil tersebut diformalkan pada hari berikutnya menggunakan Lean, sebuah bahasa untuk memverifikasi bukti. OpenAI mengatakan penjelasan dalam bahasa alami dan bukti formal telah dipublikasikan di GitHub.

OpenAI mengatakan sistem ilmu komputer miliknya menghasilkan pembuktian penyangkalan terhadap Hipotesis Waktu Eksponensial. Hipotesis ini mendukung hasil kekerasan komputasi bersyarat terkait masalah kepuasan dan pertanyaan terkait dalam kompleksitas komputasi. OpenAI mengatakan pembuktian penyangkalan dalam bahasa alami dihasilkan pada 16 Oktober. OpenAI mengatakan penyangkalan tersebut diformalkan menggunakan Lean pada 17 Oktober. Sebuah tim yang dipimpin oleh Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams sedang memeriksa hasil tersebut. OpenAI berjanji memberikan dana untuk konferensi yang membahas implikasi potensial dari hasil tersebut.

Sebuah kelompok fisika eksternal yang dipimpin oleh David Gross akan mengevaluasi hasil yang dijelaskan oleh OpenAI sebagai bukti eksistensi ketat untuk teori medan kuantum yang berinteraksi dalam empat dimensi. Bukti yang diklaim mencakup kromodinamika kuantum (QCD) dan ekstensi penyatuan besar dari Model Standar. Michael Douglas, Arthur Jaffe, Igor Klebanov, dan Nikita Nekrasov juga terlibat dalam penilaian ini. Berbeda dengan proyek-proyek matematika dan ilmu komputer, kelompok fisika memilih untuk menahan materi yang dihasilkan AI dari rilis publik sementara waktu. Anggota kelompok akan lebih fokus pada penulisan akun mereka sendiri atas pekerjaan ini.

OpenAI mengatakan perusahaan sedang menguji tiga metode berbagi penelitian yang dihasilkan AI dengan komunitas ilmiah. Metode-metode tersebut melibatkan publikasi segera, rilis bersama kolaborator eksternal, atau memberikan kendali kepada tim luar atas kapan materi akan dipublikasikan. OpenAI meminta masukan untuk menentukan pendekatan mana yang paling sesuai bagi para peneliti. Kolaborasi-kolaborasi ini melarang perjanjian kerahasiaan dan klaim kredit akademik atas penemuan itu sendiri. Kolaborasi ini mengakui peneliti yang membuat penjelasan dan materi pendukung. Partisipasi bersifat sukarela dan tanpa bayaran, dan kolaborator hanya akan mewakili pandangan pribadi mereka sendiri.

Klaim tersebut bisa memiliki konsekuensi besar jika tinjauan independen mengonfirmasi hasilnya, terutama pembuktian yang diklaim terhadap Hipotesis Waktu Eksponensial. Hipotesis ini mendukung sebagian besar teori kompleksitas komputasi modern. Inisiatif ini juga menimbulkan pertanyaan tentang bagaimana membuat temuan potensial besar yang dihasilkan AI menjadi transparan, dapat direproduksi, dan kredibel bagi para ilmuwan.