Berita ME, 9 September (UTC+8), OpenAI mengumumkan telah menyelesaikan salah satu masalah Hadiah Milenium, yaitu eksistensi dan kehalusan Navier-Stokes, yang telah menggantung selama sekitar 90 tahun.
Proses ini diselesaikan oleh sekelompok agen menggunakan model generasi berikutnya dari OpenAI yang jauh lebih kuat daripada GPT-6 Astra; OpenAI menyatakan bahwa sekitar 10.000 agen bekerja secara paralel selama sekitar 88 jam untuk menghasilkan bukti, yang kemudian diverifikasi secara formal dalam Lean theorem prover oleh GPT-6 Astra dalam waktu 17 jam. Bukti tersebut menunjukkan bahwa gerakan fluida tiga dimensi dapat menghasilkan singularitas dalam waktu terbatas: vorteks menyusut ke dalam, intinya meregang dan mempercepat hingga kecepatannya menjadi tak terbatas, sementara energi total sistem tetap terbatas. OpenAI telah mempublikasikan naskah bukti sepanjang 165 halaman dan kode formalisasi Lean, serta menyatakan tidak berniat mengklaim hadiah senilai 1 juta dolar AS. Saat ini, Clay Mathematics Institute masih mencatat masalah ini sebagai belum terpecahkan, karena aturan menetapkan bahwa solusi harus dipublikasikan di jurnal yang memenuhi syarat, tetap tersedia selama setidaknya dua tahun, dan mendapatkan pengakuan luas dari komunitas matematika sebelum dianggap memenuhi syarat untuk hadiah.Source: X）
