ME News melaporkan pada 9 September (UTC+8), OpenAI mengumumkan penyelesaian salah satu masalah Hadiah Milenium, iaitu masalah kewujudan dan kehalusan Navier-Stokes, yang telah tergantung selama kira-kira 90 tahun.
Pembuktian ini dilakukan oleh sekumpulan agen menggunakan model generasi berikutnya dari OpenAI yang jauh lebih kuat daripada GPT-6 Astra, dengan OpenAI menyatakan bahawa kira-kira 10,000 agen beroperasi secara serentak selama kira-kira 88 jam untuk menghasilkan bukti, kemudian GPT-6 Astra menyelesaikan pengesahan formal dalam Lean theorem prover dalam masa 17 jam. Bukti tersebut menunjukkan bahawa pergerakan cecair tiga dimensi boleh menghasilkan titik singular dalam masa terhingga: pusaran mengecut ke dalam, terus ditarik dan dipercepat sehingga halaju menjadi tak terhingga, sementara jumlah tenaga sistem tetap terhad. OpenAI telah menerbitkan naskah bukti sepanjang 165 muka surat dan kod formalisasi Lean, serta menyatakan bahawa mereka tidak bercadang untuk mengklaim hadiah sebanyak $1 juta. Kini, Clay Mathematics Institute masih menganggap masalah ini belum terpecahkan, kerana mengikut peraturan, penyelesaian perlu diterbitkan dalam jurnal yang layak, disimpan selama sekurang-kurangnya dua tahun, dan mendapat pengiktirafan meluas daripada komuniti matematik sebelum dipertimbangkan untuk penganugerahan hadiah. (Sumber: X)
