JawabanDipublikasikan21 sumber
Mengapa OpenAI Belum Mengklaim Hadiah US$1 Juta Justin Sun untuk Navier–Stokes
Hingga 17 September 2026, OpenAI tercatat berhak mengklaim hadiah utama US$1 juta Justin Sun untuk Navier–Stokes, tetapi dana tersebut masih belum diambil.[8][9] Bukti yang diperiksa mesin bukan otomatis berarti seluruh rumusan, asumsi, dan cakupan masalah Millennium telah diterima luas oleh komunitas matematika. Ma...
Diterbitkan olehDiedit dengan GPT-5.6 TerraGambar dibuat dengan GPT Image 2
Jawaban penelitian
Poin-poin penting
- Hingga 17 September 2026, OpenAI tercatat berhak mengklaim hadiah utama US$1 juta Justin Sun untuk Navier–Stokes, tetapi dana tersebut masih belum diambil.[8][9]
- Bukti yang diperiksa mesin bukan otomatis berarti seluruh rumusan, asumsi, dan cakupan masalah Millennium telah diterima luas oleh komunitas matematika.
- Matematikawan Tristan Buckmaster mengangkat kekhawatiran soal atribusi; OpenAI membantah tuduhan itu, dan sengketanya belum memperoleh penyelesaian independen.[1][20]
AI Perintah
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 belum mengklaim hadiah utama US$1 juta dari Justin Sun, meski proyek buktinya untuk persamaan Navier–Stokes telah dinyatakan sebagai pemenang perdana. Keputusan itu penting karena isu utamanya bukan sekadar apakah AI menghasilkan sebuah bukti, melainkan apakah bukti formal, hadiah privat, penelaahan sejawat independen, serta kredit ilmiah sudah selaras. 3
6
8
9
Klaim OpenAI: singularitas pada kasus dengan gaya eksternal
Pada 8 September 2026, OpenAI menerbitkan uraian analitis dan formalisasi dalam Lean—perangkat pembuktian formal—untuk hasil terkait persamaan Navier–Stokes inkompresibel tiga dimensi. OpenAI menyatakan sistem internalnya menemukan bukti bahwa fluida yang mula-mula mulus dan diam dapat membentuk singularitas dalam waktu hingga bila diberi gaya eksternal yang juga mulus. 6
Cakupan ini perlu dibedakan dengan cermat. Dalam terminologi pernyataan masalah Clay Mathematics Institute, klaim tersebut menargetkan jalur contoh tandingan dengan gaya eksternal, yakni kasus C dan D. Klaim itu bukan penyelesaian alternatif keteraturan global tanpa gaya eksternal, kasus A dan B. 6
18
19
Jadi, judul yang menyederhanakan keadaan menjadi “Navier–Stokes telah terpecahkan” berisiko menutupi perbedaan penting tersebut. Yang diumumkan OpenAI adalah konstruksi blow-up atau singularitas untuk kondisi tertentu dengan gaya eksternal, bukan putusan final yang sudah diterima komunitas atas seluruh pemahaman orang terhadap masalah itu.
Peran sekitar 10.000 agen AI dan Lean
OpenAI mengatakan pengujian masalah ini dengan model internal yang masih dalam pelatihan dimulai pada 28 Agustus, lalu diperluas setelah 1 September. Perusahaan menggambarkan penggunaan kelompok agen yang terkoordinasi, dengan akses ke kode dan materi web tersimpan (cached); upaya Navier–Stokes itu melibatkan sekitar 10.000 agen yang berjalan bersamaan. 6
Sejumlah laporan menyebut proses penemuan berlangsung sekitar 88 jam. Setelah itu, GPT-6 Astra disebut menghabiskan sekitar 17 jam untuk memformalkan dan memeriksa bukti di Lean. Namun OpenAI menekankan bahwa sistem yang menemukan hasil awal adalah model internal yang secara kemampuan jauh melampaui GPT-6 Astra; peran Astra berkaitan dengan formalisasi dan verifikasi, bukan niscaya penemuan matematis pertama. 6
8
Verifikasi Lean merupakan bukti kuat bahwa sebuah teorema formal dapat diturunkan dari asumsi yang dikodekan. Namun, pemeriksaan itu sendiri belum menjawab apakah asumsi formal tersebut sepenuhnya menangkap semua persyaratan dalam rumusan Clay, atau apakah penafsiran dan cakupan bukti telah lolos penilaian matematikawan independen.
Mengapa hadiah Clay belum diberikan
Hadiah dari Clay Mathematics Institute terpisah dari penghargaan Justin Sun. Pada 11 September, Clay menyatakan sedang mengevaluasi pengumuman OpenAI berdasarkan aturan yang berlaku dan menegaskan bahwa prosesnya memang sengaja tidak tergesa-gesa. 1
Aturan Millennium Prize Clay mewajibkan solusi yang diajukan terbit di media ilmiah yang memenuhi syarat, menunggu sedikitnya dua tahun setelah publikasi, lalu memperoleh penerimaan umum dari komunitas matematika global sebelum dapat dipertimbangkan untuk hadiah. Karena itu, sekalipun kode Lean berjalan sesuai laporan, hasil tersebut belum mungkin langsung menjadi pemenang hadiah Clay.
Status praktisnya: OpenAI telah menyampaikan klaim secara terbuka dan merilis materi formalisasi, tetapi Clay belum mengakuinya sebagai solusi penerima Millennium Prize. Para matematikawan independen masih perlu menilai bukti analitis, formalisasi, dan kesesuaiannya dengan syarat masalah yang relevan. 1
6
Cara kerja hadiah Justin Sun
Justin Sun mengumumkan program hadiahnya pada 16 September sebagai program hadiah akademik terdesentralisasi untuk terobosan riset fundamental dan verifikasi formal oleh mesin. Gelombang pertama mencakup 66 masalah matematika, dengan hasil Navier–Stokes yang diklaim OpenAI ditetapkan sebagai penghargaan tertinggi senilai US$1 juta. 3
14
Premis program ini lebih cepat dan lebih luas daripada mekanisme Clay: penghargaan dirancang untuk mengakui bukti yang dapat diverifikasi mesin, dan terbuka bagi peneliti manusia, sistem AI, maupun kolaborasi manusia-AI. 4
14
Itu menjadikannya hadiah privat dengan aturan kelayakan sendiri, bukan pengganti standar komunitas matematika dalam menetapkan kebenaran, prioritas penemuan, atau arti penting jangka panjang. Menjadi pemenang menurut kriteria Sun tidak otomatis mengharuskan Clay atau matematikawan lain menganggap persoalan tersebut sudah tuntas.
Mengapa uangnya masih belum diambil
Laporan mengenai repositori hadiah menyebut OpenAI tercatat memenuhi syarat untuk mengklaim penghargaan, tetapi belum melakukannya. Laporan tersebut mengaitkan pilihan itu dengan sengketa yang belum selesai mengenai asal-usul bukti, serta keputusan OpenAI untuk belum mengejar hadiah Clay pada tahap ini. 8
9
Berdasarkan materi yang tersedia, OpenAI belum menetapkan alasan definitif secara terbuka untuk menolak atau menunda klaim tersebut. Maka pembacaan yang paling hati-hati adalah: menerima hadiah privat ketika cakupan bukti, asal-usul gagasan, dan pembagian kredit masih diperdebatkan dapat dipandang sebagai klaim finalitas yang terlalu dini, sebelum proses validasi profesional berjalan.
Sengketa atribusi juga menentukan arti terobosan ini
Tristan Buckmaster, matematikawan New York University, menuduh karya OpenAI memanfaatkan riset nonpublik. OpenAI membantah tuduhan tersebut. Laporan yang tersedia belum menunjukkan adanya penyelesaian independen yang final. 1
20
Nature menilai episode ini memperlihatkan kebutuhan agar perusahaan AI bekerja lebih erat dengan komunitas riset dalam soal atribusi dan kredit. Dalam matematika berbantuan AI, sistem dapat menelusuri, menggabungkan, dan memformalkan gagasan dalam skala luar biasa besar, sementara asal sebuah wawasan tertentu bisa sulit direkonstruksi. 17
20
Sengketa itu tidak membuktikan bahwa bukti formalnya keliru. Namun, kebenaran bukti dan kredit atas penemuan adalah dua pertanyaan berbeda—dan keduanya penting bagi sebuah klaim yang berpotensi mengubah bidang matematika.
Kesimpulannya: klaim besar, belum menjadi konsensus
Klaim OpenAI luar biasa: sebuah konstruksi singularitas waktu hingga untuk salah satu formulasi penting Navier–Stokes, yang ditemukan lewat alur kerja agen AI berskala besar dan disertai formalisasi Lean. 6
18
19
Namun, hasil ini belum tepat disebut sebagai solusi Millennium Prize yang telah diakui Clay. Hadiah US$1 juta dari Sun dilaporkan masih belum diklaim, proses Clay terpisah dan jauh lebih lambat, sementara sengketa atribusi belum selesai. 1
8
9
20
Tonggak berikutnya adalah penelaahan independen atas matematikanya, pemeriksaan teliti bahwa pernyataan formal benar-benar sesuai dengan kondisi masalah yang dimaksud, serta penjelasan yang kredibel mengenai prioritas dan kepengarangan. Sampai saat itu, deskripsi paling akurat adalah: klaim matematis berbantuan AI yang sangat signifikan, dengan komponen yang dapat diperiksa mesin—bukan hasil final yang telah menjadi konsensus.
Studio Global AI
Lanjutkan penelitian Anda
Halaman ini berisi jawaban yang didukung sumber yang dapat Anda lanjutkan di dalam Studio Global.
Orang-orang juga bertanya
Apa jawaban singkat untuk "Mengapa OpenAI Belum Mengklaim Hadiah US$1 Juta Justin Sun untuk Navier–Stokes"?
Hingga 17 September 2026, OpenAI tercatat berhak mengklaim hadiah utama US$1 juta Justin Sun untuk Navier–Stokes, tetapi dana tersebut masih belum diambil.[8][9]
Apa poin penting yang harus divalidasi terlebih dahulu?
Hingga 17 September 2026, OpenAI tercatat berhak mengklaim hadiah utama US$1 juta Justin Sun untuk Navier–Stokes, tetapi dana tersebut masih belum diambil.[8][9] Bukti yang diperiksa mesin bukan otomatis berarti seluruh rumusan, asumsi, dan cakupan masalah Millennium telah diterima luas oleh komunitas matematika.
Apa yang harus saya lakukan selanjutnya dalam latihan?
Matematikawan Tristan Buckmaster mengangkat kekhawatiran soal atribusi; OpenAI membantah tuduhan itu, dan sengketanya belum memperoleh penyelesaian independen.[1][20]
Sumber
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