Dunia matematika dan kecerdasan buatan kembali diguncang. OpenAI mengumumkan bahwa model AI yang belum dirilis telah berhasil memecahkan salah satu dari tujuh "Millennium Problems" — kelompok tantangan matematika yang diajukan sejak tahun 2000 dan dianggap sebagai batas terdepan disiplin ini.

Baca juga: Kesenjangan Penguasaan AI antara Guru dan Siswa Jadi Tantangan Pendidikan

Masalah yang dimaksud adalah masalah keberadaan dan kehalusan solusi Navier-Stokes, sebuah persamaan matematika yang selama puluhan tahun belum terpecahkan tuntas.

Apa Itu Masalah Navier-Stokes?

Pada intinya, masalah Navier-Stokes berkaitan dengan persamaan matematika yang digunakan para ilmuwan untuk menggambarkan perilaku fluida dan gas. Penerapannya sangat luas, mulai dari prakiraan cuaca hingga pemodelan arus laut.

Meski persamaannya sudah lama digunakan dalam praktik, pembuktian matematis tentang keberadaan dan kehalusan solusinya tetap menjadi teka-teki besar. Inilah yang menjadikannya salah satu dari tujuh Millennium Problems yang dijanjikan hadiah besar dari Clay Mathematics Institute.

Model Bekerja Selama 88 Jam

Menurut laporan The New York Times, model AI tersebut bekerja selama 88 jam untuk menghasilkan bukti atas masalah Navier-Stokes. Hasilnya disebut-sebut sebagai terobosan signifikan yang berpotensi mengubah cara kita memandang kemampuan penalaran matematis mesin.

Yang menarik, model ini dikembangkan melalui pembelajaran penguatan (reinforcement learning) berskala besar di atas model yang telah dilatih sebelumnya — pendekatan yang sama sekali berbeda dari kalkulasi brute force.

Apa Artinya bagi Kita?

Klaim ini, jika terverifikasi penuh oleh komunitas matematika, menandai lompatan besar dalam kemampuan AI untuk melakukan penalaran abstrak tingkat tinggi. Ini bukan sekadar menghitung cepat, melainkan merancang pembuktian matematis yang selama ini dianggap hanya bisa dilakukan manusia ahli.

Namun, para ilmuwan tetap menekankan pentingnya verifikasi independen. Sebuah klaim terobosan perlu dikaji ulang oleh pakar lain sebelum diakui secara resmi. Terlepas dari hasil akhirnya, perkembangan ini mengingatkan kita bahwa literasi digital dan pemahaman atas kemampuan serta batas AI menjadi semakin penting di era sekarang.

Sumber: The New York Times

Artikel ini bagian dari Percaya Cuan — portal literasi digital & AI Indonesia.