OpenAI Klaim Pecahkan Soal Matematika Rumit Pakai 10 Ribu Bot

JAKARTA – OpenAI mengklaim berhasil mencapai terobosan besar dalam matematika dengan menggunakan sekitar 10.000 agen kecerdasan buatan (AI) secara bersamaan untuk mengerjakan salah satu persoalan matematika paling sulit di dunia.

Persoalan yang dimaksud adalah Navier-Stokes, masalah berusia sekitar 90 tahun yang berkaitan dengan persamaan untuk menggambarkan pergerakan fluida. Persoalan ini merupakan salah satu dari tujuh Millennium Prize Problems yang ditetapkan Clay Mathematics Institute dan masing-masing menawarkan hadiah US$1 juta bagi solusi yang memenuhi persyaratan.

Namun, klaim OpenAI tersebut belum otomatis membuat persoalan Navier-Stokes dinyatakan resmi terpecahkan. Solusi yang diklaim perusahaan masih membutuhkan pemeriksaan dan validasi independen oleh komunitas matematika.

10 Ribu Agen AI Bekerja Bersamaan

Menurut laporan yang muncul setelah pengumuman OpenAI, perusahaan menggunakan jaringan hingga 10.000 agen AI yang bekerja secara paralel.

Para agen tersebut menjalankan pencarian terhadap kemungkinan pendekatan matematis selama sekitar 88 jam. Dalam prosesnya, mereka menghasilkan dan bertukar sekitar 2,7 juta pesan, sebelum hasil akhirnya menjalani tahap verifikasi tambahan selama sekitar 17 jam.

Pendekatan tersebut berbeda dari gambaran umum penggunaan chatbot yang biasanya memberikan satu jawaban setelah menerima sebuah pertanyaan. Dalam eksperimen OpenAI, ribuan agen AI digunakan untuk mengeksplorasi berbagai kemungkinan secara bersamaan. Hasil dari satu agen dapat menjadi bahan bagi agen lain untuk mengembangkan pendekatan berbeda, mencari kesalahan, atau mencoba membuktikan bagian tertentu dari argumen.

Persoalan Navier-Stokes Bukan Soal Matematika Biasa

Persamaan Navier-Stokes digunakan untuk menggambarkan perilaku fluida seperti air dan udara. Persamaan tersebut memiliki peran penting dalam berbagai bidang sains dan teknik, termasuk pemodelan aliran udara, dinamika fluida, hingga berbagai persoalan yang berkaitan dengan sistem fisik.

Masalah matematisnya jauh lebih mendasar. Para matematikawan ingin mengetahui apakah solusi persamaan Navier-Stokes tiga dimensi selalu tetap halus atau dapat mengalami singularitas, yaitu kondisi ketika besaran tertentu menjadi tidak terkendali dalam waktu terbatas. Pertanyaan tersebut telah menjadi salah satu masalah besar matematika modern selama puluhan tahun.

OpenAI Klaim Menemukan Skenario Singularitas

Menurut laporan mengenai hasil OpenAI, sistem tersebut menghasilkan argumen yang menunjukkan kemungkinan terjadinya finite-time blowup atau singularitas dalam formulasi tiga dimensi tertentu. OpenAI dilaporkan telah menyusun hasil tersebut dalam dokumen sekitar 165 halaman yang memuat pembuktian dan proses formalisasi.

Jika benar-benar membuktikan versi klasik persoalan Navier-Stokes sesuai standar yang ditetapkan Clay Mathematics Institute, pencapaian tersebut akan menjadi tonggak besar dalam matematika. Tetapi, tahap ini sangat penting: klaim AI tidak sama dengan pengakuan resmi bahwa Millennium Prize Problem telah terpecahkan.

Belum Mendapat Pengakuan Resmi

Solusi matematika harus dapat diperiksa oleh matematikawan lain sebelum dianggap sebagai bukti yang valid. Karena itu, hasil OpenAI masih akan menghadapi proses pemeriksaan yang ketat. Komunitas matematika perlu memastikan setiap langkah dalam pembuktian benar, tidak memiliki asumsi tersembunyi, dan benar-benar menjawab formulasi persoalan yang diberikan.

Laporan terbaru juga menyebut bahwa OpenAI tidak bermaksud langsung mengajukan klaim hadiah US$1 juta dari Clay Mathematics Institute. Dengan demikian, status persoalan Navier-Stokes secara formal belum berubah hanya karena pengumuman OpenAI.

Mengapa Menggunakan 10.000 AI?

Penggunaan ribuan agen sekaligus menunjukkan perubahan pendekatan dalam pemanfaatan AI untuk riset ilmiah. Alih-alih mengandalkan satu model untuk menghasilkan jawaban, sistem multiagen dapat mengerjakan banyak hipotesis secara paralel.

Misalnya, sebagian agen dapat mencari strategi pembuktian, agen lain memeriksa konsistensi persamaan, sementara agen lainnya mencoba menemukan kelemahan dalam argumen yang telah dibuat. Dengan cara tersebut, AI dapat melakukan semacam proses eksplorasi masif terhadap ruang kemungkinan matematika.

OpenAI menggunakan pendekatan ini untuk menunjukkan bahwa peningkatan kemampuan AI tidak hanya berasal dari membuat satu model semakin besar, tetapi juga dari memberikan lebih banyak komputasi dan mengoordinasikan banyak proses penalaran secara bersamaan.

Biayanya Sangat Besar

Terobosan tersebut juga memperlihatkan bahwa kemampuan AI tingkat lanjut membutuhkan sumber daya komputasi yang sangat besar. Laporan Business Insider memperkirakan eksperimen tersebut dapat menghabiskan biaya sekitar US$10 juta hingga US$40 juta berdasarkan jumlah token yang digunakan. Angka tersebut merupakan estimasi eksternal, bukan angka biaya resmi yang ditetapkan OpenAI.

CEO OpenAI Sam Altman bahkan menanggapi besarnya biaya tersebut dengan nada bercanda dan mengaitkannya dengan kondisi "gelembung" AI. Artinya, meskipun AI dapat membantu memecahkan persoalan yang sangat sulit, metode tersebut belum tentu efisien jika dibandingkan dengan biaya riset matematika konvensional.

Muncul Kontroversi soal Penelitian Sebelumnya

Di balik klaim tersebut, muncul pula kontroversi mengenai kemungkinan adanya hubungan dengan penelitian matematikawan manusia. Matematikawan NYU Tristan Buckmaster dan peneliti Anthropic Levent Alpöge sebelumnya mengerjakan pendekatan terkait persoalan Navier-Stokes. Buckmaster kemudian mempertanyakan bagaimana OpenAI dapat mencapai hasil tersebut dengan cepat dan menyampaikan kekhawatiran mengenai kemungkinan pengaruh dari penelitian mereka.

OpenAI membantah telah menggunakan penelitian privat tersebut secara langsung. Perusahaan menyatakan pekerjaan mereka dilakukan secara independen, meskipun isu mengenai apakah data pengguna yang telah didesidentifikasi dapat secara tidak langsung memengaruhi model turut menjadi perhatian.

Kontroversi tersebut kemudian memunculkan pertanyaan lebih luas mengenai kepemilikan ide, data pelatihan AI, privasi penelitian, dan bagaimana kontribusi manusia seharusnya diakui ketika AI digunakan untuk menemukan solusi ilmiah.

AI Mulai Mengubah Cara Matematika Dikerjakan

Terlepas dari apakah pembuktian OpenAI akhirnya dinyatakan valid atau tidak, eksperimen tersebut menunjukkan perubahan besar dalam hubungan antara AI dan matematika. AI sebelumnya telah menunjukkan kemampuan menyelesaikan berbagai persoalan matematika tingkat kompetisi. Namun, persoalan Navier-Stokes berada pada level yang berbeda karena membutuhkan pembuktian matematis mendalam, bukan sekadar mendapatkan jawaban numerik.

Kemajuan AI juga membuat sejumlah matematikawan mulai membayangkan masa depan ketika komputer dapat membantu menemukan dugaan baru, menguji kemungkinan pembuktian, dan memeriksa argumen dalam skala yang sulit dilakukan manusia seorang diri.

Bukan Berarti AI Menggantikan Matematikawan

Meski demikian, keberhasilan tersebut tidak berarti matematikawan manusia tidak lagi dibutuhkan. Justru, validasi manusia menjadi semakin penting ketika AI menghasilkan pembuktian yang sangat panjang dan kompleks.

Sistem AI dapat menghasilkan argumen yang tampak masuk akal tetapi memiliki kesalahan tersembunyi. Karena itu, setiap klaim terobosan tetap membutuhkan pemeriksaan independen. Dalam kasus Navier-Stokes, tantangan berikutnya bukan lagi sekadar apakah AI mampu menghasilkan solusi, tetapi apakah komunitas matematika dapat memastikan bahwa solusi tersebut benar-benar memenuhi standar pembuktian yang ketat.

OpenAI Tidak Langsung Mendapat Hadiah US$1 Juta

Tujuh Millennium Prize Problems ditetapkan sebagai tantangan matematika besar dengan hadiah masing-masing US$1 juta. Namun, hadiah tersebut tidak otomatis diberikan kepada pihak yang mengumumkan solusi. Ada proses evaluasi dan persyaratan yang harus dipenuhi.

Karena OpenAI sendiri tidak berencana langsung mengklaim hadiah tersebut, fokus utama dari pengumuman ini adalah menunjukkan kemampuan AI dalam membantu penelitian matematika tingkat lanjut.

Terobosan Besar, tetapi Masih Harus Dibuktikan

Penggunaan 10.000 agen AI selama sekitar 88 jam untuk mengerjakan persoalan Navier-Stokes menjadi salah satu demonstrasi paling mencolok mengenai kemampuan AI dalam riset matematika. OpenAI mengklaim sistemnya menghasilkan pembuktian yang dapat menunjukkan munculnya singularitas pada persamaan Navier-Stokes tiga dimensi. Namun, klaim tersebut belum sama dengan pengakuan resmi bahwa salah satu Millennium Prize Problems telah diselesaikan.

Komunitas matematika masih harus memeriksa hasilnya secara independen. Jika pembuktian tersebut nantinya terbukti benar, pencapaiannya akan jauh melampaui sekadar keberhasilan sebuah chatbot menjawab soal matematika. Ini dapat menjadi tanda bahwa AI mulai berperan sebagai alat untuk menghasilkan pengetahuan matematika baru—dengan ribuan agen bekerja bersama untuk mengeksplorasi masalah yang selama puluhan tahun belum berhasil dituntaskan manusia.