timelinews.id - OpenAI mengklaim salah satu sistem AI internalnya berhasil menemukan solusi untuk masalah matematika yang telah menjadi teka-teki selama hampir 90 tahun.
Perusahaan pembuat ChatGPT itu mengatakan sekitar 10.000 AI agent bekerja secara bersamaan untuk mengerjakan masalah Navier-Stokes. Sistem tersebut menghasilkan solusi dalam waktu sekitar 88 jam, sebelum hasilnya kemudian diperiksa menggunakan formalitas matematika berbasis Lean.
Navier-Stokes merupakan salah satu dari tujuh Millennium Prize Problems yang ditetapkan Clay Mathematics Institute. Masalah tersebut berkaitan dengan persamaan yang digunakan untuk menggambarkan pergerakan fluida seperti air dan udara.
Bagian yang belum terpecahkan selama puluhan tahun adalah apakah solusi tiga dimensi dari persamaan tersebut selalu tetap mulus atau dapat berkembang menjadi singularitas dalam waktu terbatas.
OpenAI mengatakan sistem internalnya menemukan bukti yang menunjukkan bahwa singularitas tersebut dapat terjadi. Model yang digunakan disebut jauh lebih kuat daripada GPT-6 Astra, model terbaru yang tersedia untuk publik.
10.000 AI Agent Bekerja Bersamaan
OpenAI tidak menggunakan satu model untuk mengerjakan masalah tersebut. Perusahaan menjalankan ribuan agent yang bekerja secara paralel dengan pendekatan berbeda.
Menurut OpenAI, sekitar 10.000 agent terlibat dalam pencarian solusi. Para agent saling bertukar hasil dan pendekatan, sementara sistem lain menggabungkan temuan yang dianggap paling menjanjikan.
Dalam proses penyelesaian Navier-Stokes, para agent bertukar sekitar 2,7 juta pesan dan menghasilkan sekitar 130 miliar token. Setelah solusi ditemukan, proses verifikasi menggunakan Lean membutuhkan tambahan sekitar 17 jam.
OpenAI mengatakan seluruh upaya tersebut dimulai setelah para peneliti mendengar kabar mengenai kemajuan pada sejumlah masalah matematika lain. Perusahaan kemudian mengarahkan sebagian besar sumber daya AI internalnya untuk mencoba menyelesaikan Navier-Stokes.
Hasilnya Belum Diakui sebagai Solusi Resmi
Meski OpenAI menyebut hasil tersebut sebagai pencapaian besar, masalah Navier-Stokes belum dinyatakan selesai secara resmi.
Solusi yang dipublikasikan perusahaan masih harus diperiksa oleh matematikawan lain. Clay Mathematics Institute juga belum menerima hasil tersebut sebagai solusi yang memenuhi persyaratan Millennium Prize.
OpenAI sendiri tidak mengajukan klaim hadiah senilai US$1 juta yang disediakan untuk solusi resmi masalah tersebut.
Status inilah yang membuat pemberitaan mengenai pencapaian tersebut menggunakan istilah klaim, bukan menyatakan bahwa masalah matematika itu telah resmi terpecahkan.
Muncul Persoalan soal Sumber Pengetahuan
Pengumuman OpenAI juga segera memicu perdebatan di kalangan matematikawan.
Tristan Buckmaster, profesor matematika di New York University, mengatakan OpenAI mulai mengerjakan Navier-Stokes setelah mendengar kabar mengenai penelitian yang sedang dikerjakannya bersama Levent Alpöge, peneliti Anthropic.
Buckmaster mempertanyakan kemungkinan bahwa informasi dari penelitian tersebut ikut memengaruhi hasil OpenAI. Ia juga mempertanyakan bagaimana sistem OpenAI dapat memperoleh informasi yang belum dipublikasikan.
OpenAI membantah menggunakan penelitian tersebut secara langsung. Namun perusahaan mengakui data pengguna yang telah dihilangkan identitasnya dapat secara tidak langsung memengaruhi model yang digunakan dalam pengembangan sistem.
Perdebatan tersebut membuat perhatian terhadap pengumuman OpenAI tidak hanya tertuju pada kemampuan AI dalam matematika, tetapi juga pada bagaimana pengetahuan yang digunakan model dapat ditelusuri.
OpenAI Sebut Ini Tonggak Baru
OpenAI mengatakan hasil Navier-Stokes menunjukkan kemampuan sistem AI yang semakin tinggi dalam melakukan pekerjaan matematika tingkat lanjut.
Perusahaan menerbitkan makalah mengenai hasil tersebut sekaligus membuka formalitas pembuktian dalam Lean agar dapat diperiksa lebih lanjut oleh peneliti lain.
Namun untuk saat ini, masih ada jarak antara AI menghasilkan sebuah pembuktian dan komunitas matematika menerima pembuktian tersebut sebagai solusi yang sah.
Navier-Stokes tetap menjadi salah satu masalah terbuka paling terkenal dalam matematika sampai hasil OpenAI mendapatkan pemeriksaan dan pengakuan independen.
OpenAI mungkin telah membawa AI lebih dekat ke persoalan matematika yang sebelumnya dianggap sangat sulit.
Tetapi apakah AI benar-benar telah memecahkannya masih menjadi pertanyaan yang harus dijawab para matematikawan.
