Otakonline.com - Jakarta, OpenAI mengklaim telah menemukan solusi Navier-Stokes, persoalan matematika tingkat lanjut yang selama sekitar 90 tahun belum memiliki pembuktian lengkap. Perusahaan itu mengatakan, solusi tersebut ditemukan dalam 88 jam dengan bantuan sekitar 10.000 bot AI.
Persoalan tersebut berkaitan dengan persamaan Navier-Stokes yang menjelaskan pergerakan fluida. Salah satu bagian paling sulitnya berhubungan dengan turbulensi, fenomena yang hingga kini belum sepenuhnya dipahami.
OpenAI menyebut hasil itu sebagai tonggak penting dan bukti bahwa kemampuan perangkat AI berkembang dengan cepat. Namun, klaim tersebut belum diverifikasi secara independen atau diterima secara resmi oleh Clay Mathematics Institute di Amerika Serikat.
Solusi Navier-Stokes Melibatkan Ribuan Bot AI
OpenAI mengatakan mulai melatih model AI baru pada akhir Agustus. Model internal itu dengan cepat menunjukkan kemampuan dalam matematika, sehingga peneliti perusahaan menggunakannya untuk mengerjakan sejumlah persoalan matematika tingkat lanjut.
Pada 1 September, OpenAI mendengar kabar bahwa dua persoalan Millennium Prize mungkin telah diselesaikan. Perusahaan kemudian mengerahkan sekitar 10.000 agen AI yang menjalankan tugas secara semiotonom untuk mengerjakan beberapa persoalan yang masih tersisa.
Empat hari kemudian, atau sekitar 88 jam setelah pekerjaan dimulai, sistem tersebut menghasilkan solusi untuk persoalan Navier-Stokes existence and smoothness. OpenAI mengatakan para bot saling bertukar hampir tiga juta pesan dan menghasilkan 130 miliar token keluaran.
Dengan harga keluaran model tercanggih OpenAI, pekerjaan itu diperkirakan menelan biaya sekitar 10 juta dolar AS atau 7,3 juta poundsterling. Angka tersebut merupakan perkiraan berdasarkan harga yang ditetapkan OpenAI sendiri.
Belum Memenuhi Seluruh Syarat Millennium Prize
Meski menyebutnya sebagai solusi, OpenAI mengakui hasil tersebut baru menyelesaikan dua dari empat pernyataan yang diperlukan dalam pembuktian menurut persyaratan Millennium Prize. Hadiah untuk penyelesaian persoalan itu bernilai 1 juta dolar AS.
Karena itu, OpenAI menyatakan tidak bermaksud mengklaim hadiah tersebut. Perusahaan mengatakan tujuan publikasi hasil ini adalah melaporkan kemajuan besar model AI, bukan menyatakan bahwa persoalan itu telah diterima sebagai terpecahkan.
Clay Mathematics Institute belum menerima solusi tersebut secara publik. Dalam persoalan matematika seperti ini, pembuktian harus diperiksa oleh pakar lain sebelum komunitas ilmiah dapat mengakui hasilnya.
Klaim OpenAI Memicu Perdebatan
Klaim tersebut juga memunculkan kontroversi. Tristan Buckmaster, profesor matematika di New York University, mengatakan dirinya dan Levent Alpöge, matematikawan yang bekerja di Anthropic, juga sedang mengembangkan solusi untuk persoalan yang sama.
Keduanya menggunakan Codex milik OpenAI dalam pekerjaan tersebut. Buckmaster mengatakan pada 3 September bahwa ia mengetahui informasi mengenai kemajuan mereka telah sampai kepada OpenAI.
Ia mengeklaim OpenAI baru mulai mengerjakan persamaan Navier-Stokes setelah informasi tentang pekerjaan mereka diterima perusahaan. Buckmaster juga menyertakan isi email terkait waktu dan metode kerja OpenAI, meski mengaku belum membaca pembuktian lengkap yang dipublikasikan perusahaan.
OpenAI membantah telah melihat pekerjaan Buckmaster dan Alpöge melalui cara apa pun sebelum keduanya merilisnya kepada publik. Perusahaan juga mengatakan tidak mengakses data pengguna saat mengerjakan persoalan tersebut.
Namun, OpenAI mengakui kemungkinan kecil bahwa data tanpa identitas dari penggunaan produknya ikut membantu meningkatkan model. Perusahaan menambahkan bahwa pembuktiannya berbeda secara signifikan, termasuk pada hasil tepat yang berhasil dibuktikan.
Verifikasi Menjadi Tahap Berikutnya
Perkembangan ini menunjukkan kemampuan AI dalam mengeksplorasi persoalan matematika kompleks dengan kecepatan tinggi. Meski demikian, kecepatan menemukan jawaban tidak otomatis membuat pembuktian tersebut benar atau lengkap.
Solusi Navier-Stokes yang diklaim OpenAI masih memerlukan pemeriksaan independen. Proses tersebut akan menentukan apakah hasilnya dapat diterima sebagai kemajuan sah atau penyelesaian resmi atas salah satu persoalan matematika paling sulit.
