AnswersPublished21 sources
Mengapa OpenAI Belum Menuntut Hadiah US$1 Juta Justin Sun untuk Navier–Stokes
OpenAI disenaraikan layak menerima hadiah Navier–Stokes US$1 juta Justin Sun, tetapi hadiah itu masih belum dituntut setakat 17 September 2026. Pengesahan Lean menunjukkan teorem mengikuti andaian yang dikodkan, namun bukan pengganti semakan bebas bahawa skop dan syarat masalah Millennium dipenuhi tepat.
Diterbitkan olehDisunting dengan GPT-5.6 TerraImej dijana dengan GPT Image 2
Research answer
Key takeaways
- OpenAI disenaraikan layak menerima hadiah Navier–Stokes US$1 juta Justin Sun, tetapi hadiah itu masih belum dituntut setakat 17 September 2026.
- Pengesahan Lean menunjukkan teorem mengikuti andaian yang dikodkan, namun bukan pengganti semakan bebas bahawa skop dan syarat masalah Millennium dipenuhi tepat.
- Ahli matematik Tristan Buckmaster membangkitkan isu atribusi yang dipertikaikan OpenAI; pertikaian itu masih belum diselesaikan secara bebas.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
OpenAI dilaporkan dinamakan penerima hadiah tertinggi sulung US$1 juta di bawah hadiah matematik baharu Justin Sun bagi hasil Navier–Stokesnya. Namun, syarikat itu belum menuntut wang tersebut. Keputusan itu penting kerana ia bukan sekadar cerita tentang AI menghasilkan bukti matematik, tetapi juga tentang makna pengesahan formal, semakan rakan sebaya bebas, kredit penyelidikan dan hadiah persendirian dalam bidang matematik asas. 3
6
8
9
Apa yang didakwa OpenAI
Pada 8 September 2026, OpenAI menerbitkan huraian bukti serta formalisasi dalam Lean, iaitu sistem pembuktian formal. OpenAI menyatakan sistem dalamannya menghasilkan bukti analitik bahawa bendalir tiga dimensi yang pada asalnya licin dan pegun boleh membentuk singulariti dalam masa terhingga jika dikenakan daya luar yang licin. 6
Dari sudut rumusan masalah Clay, dakwaan ini menyentuh laluan contoh balas dengan daya luaran — kes C dan D. Ia bukan penyelesaian bagi alternatif keteraturan global tanpa daya luaran, iaitu kes A dan B. Maka, tajuk utama yang menyebut “Navier–Stokes sudah diselesaikan” boleh mengelirukan jika pembaca memahaminya sebagai penyelesaian menyeluruh bagi semua tafsiran masalah tersebut. 6
18
19
Bagaimana bukti itu dihasilkan dan diperiksa
OpenAI berkata ia mula menguji model dalaman yang masih dalam latihan pada 28 Ogos, sebelum memperluas usaha itu selepas 1 September. Syarikat itu menerangkan penggunaan kumpulan ejen AI yang diselaraskan, dengan akses kepada kod dan bahan web yang disimpan dalam cache; usaha Navier–Stokes melibatkan kira-kira 10,000 ejen serentak. 6
Laporan menyatakan proses penemuan mengambil kira-kira 88 jam, diikuti sekitar 17 jam untuk GPT-6 Astra memformalkan dan memeriksa kerja itu dalam Lean. OpenAI menegaskan model yang menemui hasil tersebut ialah sistem dalaman yang jauh lebih berkeupayaan daripada GPT-6 Astra; peranan Astra dikaitkan dengan formalisasi dan pengesahan, bukannya semestinya penemuan matematik asal. 6
8
Perbezaan ini penting. Semakan Lean ialah bukti kuat bahawa sesuatu teorem terbit daripada andaian yang dikodkan dalam sistem formal. Tetapi ia tidak dengan sendirinya menentukan bahawa andaian itu merangkumi setiap syarat dalam rumusan masalah Clay, dan tidak menggantikan penilaian ahli matematik bebas tentang skop serta tafsiran hasil itu.
Mengapa Clay belum memberikan hadiah US$1 juta sendiri
Hadiah Clay Mathematics Institute adalah berasingan daripada hadiah Justin Sun. Pada 11 September, Clay menyatakan bahawa ia sedang menilai pengumuman OpenAI mengikut peraturan sedia ada, dan menegaskan proses itu memang dilakukan tanpa tergesa-gesa. 1
Peraturan Hadiah Millennium Clay menetapkan bahawa cadangan penyelesaian perlu diterbitkan dalam saluran yang layak, menunggu sekurang-kurangnya dua tahun selepas penerbitan, serta diterima secara umum oleh komuniti matematik global sebelum Clay mempertimbangkan pemberian hadiah.
Justeru, hasil itu belum boleh dianggap sebagai kemenangan Hadiah Millennium Clay, walaupun kod Lean berfungsi seperti dilaporkan. OpenAI telah mengemukakan dakwaan secara terbuka dan menerbitkan bahan formalisasi, tetapi Clay belum mengiktirafnya dengan hadiah Millennium. Bukti analitik, formalisasi dan pematuhan kepada syarat masalah masih perlu dinilai secara bebas. 1
6
Apa sebenarnya yang diiktiraf oleh hadiah Justin Sun
Justin Sun mengumumkan program hadiahnya pada 16 September sebagai program ganjaran akademik terdesentralisasi untuk kemajuan dalam penyelidikan asas dan pengesahan formal oleh mesin. Pusingan sulungnya meliputi 66 masalah matematik, dengan dakwaan OpenAI mengenai Navier–Stokes dinamakan untuk hadiah tertinggi US$1 juta. 3
14
Program ini direka untuk bergerak dengan kerangka yang berbeza daripada Clay: ia mengiktiraf bukti yang boleh disahkan mesin dan terbuka kepada penyelidik manusia, sistem AI, atau kerjasama manusia–AI. 4
14
Namun, itu menjadikannya hadiah persendirian dengan syarat kelayakannya sendiri — bukan pengganti kepada piawaian komuniti matematik dalam menentukan ketepatan, keutamaan penemuan atau kepentingan jangka panjang. Kemenangan mengikut kriteria Sun tidak memaksa Clay atau ahli matematik lain menganggap isu ini telah diputuskan secara muktamad.
Mengapa wang itu masih belum dituntut
Laporan mengenai repositori hadiah menyatakan OpenAI disenaraikan sebagai layak menuntut anugerah itu, tetapi belum berbuat demikian. Laporan tersebut mengaitkan keadaan itu dengan pertikaian yang belum selesai tentang asal-usul bukti serta keputusan OpenAI untuk tidak mengejar hadiah Clay pada peringkat itu. 8
9
OpenAI tidak menetapkan secara terbuka alasan muktamad bagi menolak atau menangguhkan tuntutan dalam bahan yang dirujuk. Oleh itu, tafsiran yang berhati-hati ialah: menerima hadiah persendirian ketika skop bukti, asal-usul idea dan soal kredit masih dipertikaikan boleh dilihat seolah-olah mendakwa kemuktamadan sebelum proses pengesahan profesional biasa selesai.
Pertikaian kredit juga penting
Tristan Buckmaster, ahli matematik di New York University, mendakwa kerja OpenAI menggunakan penyelidikan bukan awam. OpenAI mempertikaikan dakwaan itu. Laporan yang tersedia belum menunjukkan sebarang penyelesaian bebas yang muktamad. 1
20
Nature pula berhujah bahawa episod ini menunjukkan keperluan untuk syarikat AI bekerjasama lebih rapat dengan komuniti penyelidikan dalam soal atribusi dan kredit. Dalam matematik berbantukan AI, sistem boleh mencari, menggabungkan dan memformalkan idea pada skala luar biasa, tetapi asal-usul sesuatu ilham khusus boleh sukar dijejaki. 17
20
Ini tidak membuktikan formalisasi Lean itu salah. Sebaliknya, ia menegaskan bahawa ketepatan dan kredit ialah dua persoalan berasingan — dan kedua-duanya penting bagi dakwaan yang berpotensi mengubah bidang matematik utama.
Status setakat ini
Dakwaan OpenAI adalah luar biasa: pembinaan singulariti masa terhingga bagi rumusan penting Navier–Stokes, yang dilaporkan ditemui melalui aliran kerja ejen AI berskala besar dan disertakan formalisasi Lean. 6
18
19
Namun, ia belum wajar digambarkan sebagai penyelesaian Hadiah Millennium yang diiktiraf Clay. Hadiah US$1 juta Justin Sun dilaporkan masih belum dituntut, proses Clay adalah berasingan dan jauh lebih perlahan, manakala pertikaian atribusi belum selesai. 1
8
9
20
Pencapaian penting seterusnya ialah semakan bebas terhadap matematiknya, pemeriksaan teliti bahawa pernyataan formal benar-benar sepadan dengan syarat masalah yang dimaksudkan, serta penjelasan yang meyakinkan tentang keutamaan dan kepengarangan. Buat masa ini, huraian paling tepat ialah dakwaan matematik janaan AI yang sangat signifikan dengan komponen boleh diperiksa mesin — bukannya hasil yang telah mencapai konsensus muktamad.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Mengapa OpenAI Belum Menuntut Hadiah US$1 Juta Justin Sun untuk Navier–Stokes"?
OpenAI disenaraikan layak menerima hadiah Navier–Stokes US$1 juta Justin Sun, tetapi hadiah itu masih belum dituntut setakat 17 September 2026.
What are the key points to validate first?
OpenAI disenaraikan layak menerima hadiah Navier–Stokes US$1 juta Justin Sun, tetapi hadiah itu masih belum dituntut setakat 17 September 2026. Pengesahan Lean menunjukkan teorem mengikuti andaian yang dikodkan, namun bukan pengganti semakan bebas bahawa skop dan syarat masalah Millennium dipenuhi tepat.
What should I do next in practice?
Ahli matematik Tristan Buckmaster membangkitkan isu atribusi yang dipertikaikan OpenAI; pertikaian itu masih belum diselesaikan secara bebas.
Sources
coinpost.aiJustin Sun launches $1 million math prize and names first winners
openai.comOn the Navier–Stokes Millennium Prize Problem
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough