OpenAI Bikin Dunia Sains Terkejut
SAN FRANCISCO – Dunia teknologi dan matematika dikejutkan oleh pengumuman OpenAI mengenai klaim bahwa sistem kecerdasan buatannya berhasil menyelesaikan salah satu persoalan matematika paling sulit di dunia.
Pada 8 September 2026, OpenAI mengumumkan bahwa sistem internalnya menghasilkan bukti untuk Navier–Stokes existence and smoothness problem, salah satu dari tujuh Millennium Prize Problems. Persoalan tersebut telah menjadi pertanyaan terbuka selama sekitar 90 tahun.
Namun, ada satu catatan penting. Klaim tersebut masih harus dipelajari dan diperiksa secara independen oleh para matematikawan sebelum dapat dianggap sebagai penyelesaian yang diterima secara luas. Quanta Magazine juga mencatat bahwa hasil ini telah memicu perdebatan di komunitas matematika.
Apa Itu Masalah Navier–Stokes?
Navier–Stokes adalah kumpulan persamaan matematika yang digunakan untuk menggambarkan bagaimana fluida bergerak.
Persamaan tersebut berkaitan dengan berbagai fenomena fisik. Contohnya adalah aliran udara, air, turbulensi, serta pergerakan cairan dan gas.
Masalahnya bukan sekadar bagaimana menghitung aliran fluida.
Para matematikawan ingin mengetahui apakah solusi tiga dimensi yang awalnya mulus akan selalu tetap mulus, atau justru dapat berkembang menjadi singularitas dalam waktu yang terbatas.
Pertanyaan tersebut belum mendapatkan jawaban tuntas sejak abad ke-20.
OpenAI Klaim Menemukan Singularitas
Dalam pengumumannya, OpenAI mengatakan sistem internal mereka menghasilkan bukti analitis bahwa fluida yang awalnya berada dalam kondisi halus dan diam dapat membentuk singularitas dalam waktu terbatas.
Secara sederhana, hasil tersebut menunjukkan adanya kondisi ketika besaran kecepatan dalam solusi dapat berkembang tanpa batas, sementara energi tetap terbatas.
OpenAI menyebut hasil itu menyelesaikan versi resmi masalah Navier–Stokes dengan membuktikan pernyataan tertentu dalam formulasi Millennium Prize Problem.
Karena itu, klaim ini menjadi salah satu pencapaian AI paling mencolok dalam riset matematika.
AI Tidak Bekerja Sendirian
Yang membuat pengumuman ini semakin menarik adalah cara OpenAI menemukan bukti tersebut.
Menurut OpenAI, mereka menggunakan sistem multi-agent yang memungkinkan ribuan agen AI bekerja secara terkoordinasi.
Kelompok yang menghasilkan penyelesaian Navier–Stokes melibatkan sekitar 10.000 agen secara bersamaan. Para agen tersebut dibagi ke dalam kelompok dan dapat berkomunikasi serta saling bertukar hasil.
OpenAI mengatakan agen-agen tersebut juga dapat menggunakan alat untuk membaca sumber informasi yang tersedia dalam sistem serta menjalankan kode.
Pendekatan tersebut membuat proses pencarian bukti berbeda dari cara AI biasa menjawab pertanyaan pengguna.
Butuh 88 Jam untuk Menemukan Solusi
OpenAI menyebut upaya khusus untuk Navier–Stokes dimulai pada 1 September 2026.
Sekitar 88 jam kemudian, pada 5 September, para agen menghasilkan resolusi yang diklaim sebagai solusi.
Setelah itu, proses formalization dan verifikasi menggunakan Lean membutuhkan sekitar 17 jam tambahan.
Totalnya, OpenAI mengatakan sistem mereka mengirim sekitar 2,7 juta pesan selama proses penyelesaian Navier–Stokes dan menggunakan sekitar 130 miliar token keluaran.
Angka tersebut menunjukkan besarnya skala komputasi yang digunakan.
Bukti Juga Diformalisasi dengan Lean
Salah satu bagian yang dianggap penting adalah penggunaan Lean.
Lean merupakan sistem formal untuk menuliskan dan memeriksa bukti matematika secara komputerisasi.
OpenAI mengatakan bukti mereka telah diformalisasi dalam Lean. Dalam konteks penelitian matematika, formalization dapat membantu memeriksa apakah setiap langkah pembuktian mengikuti aturan logika yang telah ditentukan.
Namun, formalization oleh komputer tidak otomatis mengakhiri seluruh perdebatan ilmiah.
Para peneliti tetap perlu memahami isi bukti tersebut, memeriksa asumsi, serta memastikan bahwa hasilnya benar-benar sesuai dengan formulasi resmi masalah.
Mengapa Klaim Ini Sangat Besar?
Masalah Navier–Stokes merupakan salah satu dari tujuh Millennium Prize Problems yang diumumkan Clay Mathematics Institute pada 2000.
Setiap masalah diberikan hadiah sebesar US$1 juta bagi solusi yang memenuhi persyaratan lembaga tersebut.
Karena itu, klaim penyelesaian Navier–Stokes memiliki dampak besar, bukan hanya bagi AI, tetapi juga bagi dunia matematika.
Meski demikian, OpenAI menegaskan bahwa mereka tidak bermaksud mengklaim hadiah Millennium Prize melalui pengumuman tersebut.
Komunitas Matematika Belum Langsung Percaya
Pengumuman OpenAI mendapat perhatian besar sekaligus memunculkan pertanyaan.
Quanta Magazine melaporkan bahwa hasil tersebut memicu perdebatan karena diperlukan waktu untuk memahami secara independen apa yang sebenarnya telah dibuktikan dan bagaimana hasil itu harus ditempatkan dalam konteks penelitian sebelumnya.
Ini merupakan bagian penting dari proses ilmiah.
Dalam matematika, sebuah klaim besar tidak hanya dinilai berdasarkan siapa yang mengumumkannya. Bukti harus dapat diperiksa, dipahami, dan diterima oleh komunitas ahli.
Karena itu, istilah yang paling tepat untuk saat ini adalah OpenAI mengklaim AI berhasil memecahkan masalah tersebut.
OpenAI Sebut Hasil Ini Bukan Akhir Perjalanan
OpenAI sendiri menyatakan pencapaian ini bukan titik akhir.
Perusahaan tersebut memandang keberhasilan Navier–Stokes sebagai gambaran tentang kemampuan baru AI untuk membantu penelitian ilmiah.
Artinya, AI tidak lagi hanya diarahkan untuk menulis teks, membuat gambar, atau membantu pemrograman.
Model AI juga mulai digunakan untuk mengeksplorasi pertanyaan ilmiah yang membutuhkan penalaran panjang dan kolaborasi banyak agen.
AI Mulai Masuk ke Wilayah Penemuan Ilmiah
Perubahan ini menjadi semakin menarik karena kemampuan AI kini berkembang ke berbagai disiplin.
OpenAI menyebut agen internal mereka telah digunakan untuk pekerjaan ilmiah dan teknis. Dalam laporan lain, perusahaan juga mengatakan organisasi risetnya semakin banyak memanfaatkan agen untuk memperluas kapasitas kerja peneliti.
Kondisi tersebut menunjukkan kemungkinan baru.
Di masa depan, AI mungkin tidak hanya membantu manusia mencari jawaban, tetapi juga membantu menghasilkan hipotesis, menguji pendekatan, dan menyusun bukti yang kemudian diperiksa oleh ilmuwan.
Teknologi Ini Bisa Berdampak ke Banyak Bidang
Jika pendekatan seperti ini terus berkembang, dampaknya bisa meluas.
Kemampuan AI untuk memahami matematika dan sains dapat membantu penelitian dalam bidang fisika, teknik, kimia, material, kedokteran, hingga energi.
Bahkan, pemodelan fluida sendiri memiliki aplikasi luas. Pemahaman yang lebih baik mengenai persamaan aliran dapat berhubungan dengan simulasi cuaca, desain pesawat, teknik mesin, dan berbagai sistem industri.
Namun, manfaat tersebut baru dapat dirasakan jika hasil AI benar-benar akurat dan dapat diverifikasi.
Bukan Berarti AI Menggantikan Matematikawan
Pencapaian ini juga tidak berarti manusia menjadi tidak diperlukan.
OpenAI sendiri menekankan bahwa manusia tetap menentukan prioritas penelitian dan menilai hasil yang diperoleh agen.
Dengan demikian, model yang muncul saat ini lebih tepat dipandang sebagai alat penelitian yang sangat kuat.
AI dapat mempercepat eksplorasi. Sementara itu, matematikawan tetap memiliki peran penting dalam menilai apakah sebuah argumen benar, penting, dan benar-benar menyelesaikan pertanyaan yang diajukan.
Kontroversi Justru Menjadi Bagian Menarik
Selain prestasi teknologinya, cerita ini juga menarik karena menunjukkan batas antara AI yang menemukan sesuatu dan ilmu pengetahuan yang mengakuinya.
Sebuah algoritma bisa menghasilkan pembuktian. Namun, komunitas ilmiah membutuhkan waktu untuk memeriksa hasil tersebut.
Itulah sebabnya perkembangan berikutnya justru menjadi sangat penting.
Apakah matematikawan independen akan mengonfirmasi seluruh bukti OpenAI? Apakah mereka akan menemukan celah? Atau justru menemukan bahwa metode tersebut benar-benar membuka jalan baru dalam matematika?
Pertanyaan-pertanyaan tersebut kini menjadi sorotan.
Babak Baru Persaingan AI
Pengumuman Navier–Stokes juga memperlihatkan arah baru persaingan perusahaan AI.
Persaingan tidak lagi hanya mengenai chatbot paling cepat atau model dengan skor benchmark tertinggi.
Kini, kemampuan AI untuk melakukan penalaran ilmiah, matematika, pemrograman, dan penelitian mandiri mulai menjadi ukuran baru.
OpenAI sebelumnya juga mengumumkan perkembangan AI untuk desain chip dan berbagai aplikasi industri. Perusahaan tersebut mengatakan modelnya digunakan untuk membantu pengembangan chip khusus AI.
Artinya, kemampuan AI semakin masuk ke pekerjaan teknis bernilai tinggi.
Apa Arti Penemuan Ini bagi Masa Depan?
Jika klaim tersebut terbukti benar secara independen, dampaknya akan sangat besar.
AI akan menunjukkan bahwa mesin dapat berkontribusi langsung pada penyelesaian masalah matematika terbuka yang telah bertahan selama puluhan tahun.
Hal tersebut dapat mengubah cara penelitian dilakukan.
Para ilmuwan mungkin akan menggunakan ribuan agen AI untuk mengeksplorasi kemungkinan secara paralel. Manusia kemudian dapat memusatkan perhatian pada pertanyaan yang lebih konseptual dan menentukan arah penelitian.
Namun, semua itu tetap bergantung pada satu hal: keandalan bukti.
Kesimpulan
OpenAI mengklaim AI internalnya berhasil menyelesaikan masalah Navier–Stokes, teka-teki matematika yang telah belum terpecahkan selama sekitar 90 tahun. Sistem tersebut menggunakan sekitar 10.000 agen AI secara bersamaan dan menghasilkan resolusi setelah sekitar 88 jam. Bukti kemudian diformalisasi dengan Lean.
Meski terdengar luar biasa, hasil tersebut belum boleh dianggap sebagai kemenangan final tanpa pemeriksaan independen. Komunitas matematika masih perlu mempelajari dan menguji bukti yang diberikan OpenAI.
Jika klaim itu akhirnya terkonfirmasi, pencapaian tersebut dapat menjadi tonggak penting dalam sejarah kecerdasan buatan dan penelitian matematika.
Untuk saat ini, satu hal sudah jelas: AI mulai memasuki wilayah yang sebelumnya dianggap sebagai salah satu benteng terakhir kemampuan intelektual manusia.
