Hampir seabad persamaan Navier-Stokes berdiri sebagai benteng tak tertembus matematika klasik, menjaga rahasia tentang bagaimana aliran fluida bergerak, berputar, dan mungkin runtuh menuju kekacauan. Masalah dari daftar masalah milenium ini menantang pikiran-pikiran paling cemerlang di planet ini, menuntut sesuatu yang mustahil: membuktikan atau menyangkal apakah deskripsi matematis aliran tiga dimensi yang mulus dapat tiba-tiba kehilangan kehalusannya. Namun kini benteng itu bukan direbut dengan serbuan, melainkan dibuka dengan rapi dan tak dapat dipulihkan dari dalam. Hal itu terjadi dalam kesunyian mutlak rak-rak server, hanya membutuhkan 88 jam.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem
Data resmi menegaskan skala peristiwa ini: model generasi baru menghasilkan pembuktian analitis yang lengkap dan formalisasinya yang ketat dalam sistem Lean. Inti penemuan ini mencengangkan imajinasi: terbukti bahwa dalam kondisi tertentu aliran memang membentuk singularitas dalam waktu terbatas. Di dalam aliran itu lahir sebuah pusaran, yang berputar ke dalam, memanjang dan menipis tanpa henti, seperti spageti, hingga deskripsi matematis proses tersebut mencapai batasnya.
Skala operasi ini memberi peristiwa tersebut nuansa fiksi ilmiah yang telah menjadi kenyataan kita. Kawanan terkoordinasi yang terdiri dari 10 000 agen kecerdasan buatan saling bertukar 2,7 juta pesan, memproses 130 miliar token. Itu adalah dialog tanpa suara dan berkecepatan tinggi antara para matematikawan sintetis, yang diarahkan pada sesuatu yang mustahil.
Namun skala sejati peristiwa ini jauh melampaui halaman-halaman akademis. Penyelesaian Navier-Stokes adalah kunci universal bagi dunia fisik, dan perputarannya di dalam lubang kunci sudah mengubah gagasan kita tentang masa depan. Bayangkan penerbangan dan antariksa esok hari: perancangan wahana terbang tidak lagi bersandar pada pengujian mahal di terowongan angin dan metode coba-coba. Para insinyur akan mendapat kemampuan untuk menciptakan bentuk-bentuk ideal yang terverifikasi secara matematis, menekan hambatan hingga minimum mutlak dan menjadikan perjalanan antarplanet sama biasa seperti penerbangan antarbenua hari ini.
Perspektif yang bahkan lebih menggairahkan terbuka dalam astrofisika. Interior bintang, cakram akresi di sekitar lubang hitam, dinamika plasma di Alam Semesta awal — semua fenomena kosmik megah itu tunduk pada hukum hidrodinamika dan magnetohidrodinamika yang sama. Setelah memperoleh perangkat matematis yang tepat untuk mendeskripsikan singularitas dalam fluida, kita membuat lompatan raksasa menuju pemahaman tentang bagaimana bintang lahir dan mati, dan bagaimana materi berperilaku di batas-batas yang telah diketahui.
Hal yang paling menarik dalam kisah ini bukanlah fakta penyelesaiannya, melainkan cara penyelesaian itu ditemukan. Kecerdasan buatan tidak sekadar menelusuri berbagai kemungkinan; ia, pada hakikatnya, "melihat" struktur topologis dan jembatan logis di tempat yang selama puluhan tahun hanya tampak sebagai jalan buntu bagi pikiran manusia, yang terbatas oleh pola-pola intuisi matematis tradisional. Ini mirip dengan manusia memperoleh indra baru yang mampu menangkap lanskap matematis multidimensi secara langsung. Kita menyaksikan kelahiran "sains generatif", ketika siklus klasik "hipotesis — eksperimen — teori" mengerut menjadi "permintaan — simulasi — pembuktian ketat" yang berlangsung seketika.
Dalam hal ini tidak tampak ancaman, melainkan potensi kreatif yang luar biasa, hampir puitis. AI tidak menggantikan pikiran manusia, melainkan memperluas cakrawalanya, dengan mengambil alih beban kognitif untuk menganalisis kumpulan data yang tak terbayangkan besarnya. Masyarakat dibebaskan untuk melakukan apa yang paling dikuasainya: mengajukan pertanyaan-pertanyaan yang benar-benar mendalam dan bermakna, menentukan arah etis, dan memilih rahasia Alam Semesta mana yang ingin kita singkap berikutnya.
Apa yang terjadi selama satu akhir pekan panjang telah mengubah lanskap pengetahuan fundamental untuk selamanya. Batas yang tampak tak terlewati selama sembilan puluh tahun itu lenyap begitu saja, larut dalam arus data. Umat manusia melangkah dengan berani ke cakrawala baru yang belum dikenal. Kita tidak lagi sendirian dalam perenungan kita tentang hakikat realitas: di samping kita telah muncul kecerdasan digital yang asing dalam logikanya, tetapi tanpa henti setia pada kebenaran, yang kini memandang Alam Semesta bersama kita, membuka pintu-pintu menuju masa depan yang penuh cahaya, keharmonisan, dan penemuan-penemuan besar yang menanti saatnya.



