JawabanDipublikasikan20 sumber
Klaim Bukti Navier–Stokes OpenAI: Apa yang Diumumkan dan Apa yang Belum Terverifikasi
Pada 8 September 2026, OpenAI menyatakan sistem internal yang melibatkan sekitar 10.000 agen terkoordinasi menghasilkan bukti 166 halaman serta formalisasi Lean untuk singularitas waktu hingga pada aliran Navier–Stoke... Contoh yang diklaim berawal dari fluida halus yang diam, lalu diberi gaya eksternal halus hingga...
Diterbitkan olehDiedit dengan GPT-5.6 TerraGambar dibuat dengan GPT Image 2
Jawaban penelitian
Poin-poin penting
- Pada 8 September 2026, OpenAI menyatakan sistem internal yang melibatkan sekitar 10.000 agen terkoordinasi menghasilkan bukti 166 halaman serta formalisasi Lean untuk singularitas waktu hingga pada aliran Navier–Stoke...
- Contoh yang diklaim berawal dari fluida halus yang diam, lalu diberi gaya eksternal halus hingga membentuk pusaran yang makin mengencang dan memanjang; kecepatannya tak terbatas dalam waktu berhingga, sementara energi...
- Formalisasi Lean berarti argumen yang dikodekan dapat diperiksa mesin, tetapi matematikawan independen tetap perlu memastikan teorema, asumsi, dan pemodelannya benar benar sesuai dengan masalah Navier–Stokes yang dima...
AI Perintah
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI announce on September 8 about an unreleased AI system’s purported 166-page, Lean-formalized proof that the three-dimensional. Article summary: On September 8, OpenAI said an unreleased internal model, deployed through roughly 10,000 coordinated agents, had produced a 166-page analytical proof and a Lean formalization showing a finite-time singularity for a thre. Topic tags: general, general web, user generated. 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, charts with fa
OpenAI pada 8 September mengumumkan salah satu klaim paling besar di persimpangan AI dan matematika: perusahaan itu menyatakan sebuah sistem internal yang belum dirilis telah menemukan bukti analitis sekaligus formalisasi Lean bahwa aliran Navier–Stokes inkompresibel tiga dimensi dapat membentuk singularitas dalam waktu berhingga. OpenAI merilis manuskrip 166 halaman bersama formalisasinya. Klaim ini berpotensi menyelesaikan Masalah Hadiah Milenium Navier–Stokes dari Clay Mathematics Institute (CMI), tetapi belum sama dengan vonis final komunitas matematika maupun pemberian hadiah. 10
18
27
Apa sebenarnya yang diklaim OpenAI?
Menurut OpenAI, konstruksi tersebut dimulai dari fluida halus yang awalnya diam, lalu diberi gaya eksternal yang juga halus. Aliran itu membentuk pusaran yang berpilin ke dalam dan kian memanjang. Pada suatu waktu berhingga, muncul singularitas: kecepatan fluida menjadi tak terbatas, walaupun energi total aliran tetap hingga. 10
44
Poin pentingnya bukan sekadar simulasi komputer yang memperlihatkan pusaran berputar sangat cepat. Pertanyaan matematisnya adalah apakah persamaan Navier–Stokes mengizinkan solusi berenergi hingga dan mula-mula halus yang kemudian kehilangan kehalusannya dalam waktu berhingga. OpenAI menyatakan telah membangun contoh khusus untuk menunjukkan bahwa kemungkinan itu memang ada, dengan gaya paksa yang tetap halus. 10
Mengapa ini berpotensi menjawab masalah Clay?
Rumusan resmi CMI menyediakan beberapa jalur untuk menyelesaikan masalah tersebut. Secara garis besar, seseorang dapat membuktikan bahwa solusi selalu halus untuk semua waktu, atau menunjukkan adanya kasus ketika kehalusan itu gagal. OpenAI menyatakan konstruksinya memenuhi alternatif C dan D dalam rumusan Clay: alternatif berbentuk kontra-contoh yang melibatkan kegagalan kehalusan dalam waktu berhingga, termasuk pada kondisi dengan gaya paksa halus. 10
17
Bila buktinya benar dan pernyataan formalnya tepat-benar sesuai dengan masalah resmi, hasil itu akan menolak klaim bahwa kelancaran global selalu berlaku pada kondisi yang dimaksud. CMI menyebut pengumuman itu sebagai penyelesaian yang tampaknya telah terjadi, sambil menegaskan bahwa komunitas matematika masih harus mengevaluasinya. 18
Peran 10.000 agen AI
Laporan mengenai pengumuman tersebut menyebut sekitar 10.000 agen otonom bekerja menggunakan model OpenAI canggih yang belum dirilis. OpenAI menggambarkan sistem itu sebagai orkestrasi agen yang menghasilkan naskah matematika konvensional dan formalisasi Lean; laporan lain menyebut prosesnya berlangsung selama 88 jam. 10
12
2
Yang diumumkan bukan sekadar saran dari model bahasa atau eksperimen numerik. Klaimnya jauh lebih kuat: sistem tersebut menghasilkan argumen analitis lengkap serta representasi yang dapat diperiksa oleh mesin.
Apa arti bukti yang diformalisasi di Lean?
Lean adalah proof assistant, perangkat lunak yang memeriksa apakah sebuah teorema benar-benar mengikuti definisi, aksioma, dan hasil terdahulu yang sudah diformalkan dalam bahasa sangat presisi. Jika pemeriksaan Lean berhasil, risiko kesalahan logika biasa pada langkah-langkah yang telah dikodekan dapat berkurang besar. OpenAI merilis formalisasi itu bersamaan dengan buktinya. 10
Namun, pemeriksaan mesin tidak otomatis menyelesaikan pertanyaan terpenting yang tetap harus dijawab manusia:
- Apakah teorema yang dikodekan benar-benar merepresentasikan klaim Navier–Stokes yang dimaksud?
- Apakah asumsi dan definisinya tepat menurut rumusan Clay?
- Apakah formalisasi tersebut secara setia menangkap semua langkah substantif dalam konstruksi analitisnya?
Karena itu, telaah pakar independen tetap krusial. Bukti formal adalah aset verifikasi yang sangat kuat, bukan pengganti otomatis bagi interpretasi dan penerimaan oleh matematikawan.
Bukan berarti pesawat, cuaca, atau aliran darah segera terdampak
Sekalipun konstruksi ini nantinya terbukti benar, itu tidak berarti aliran udara di sekitar pesawat, turbulensi di pipa, sistem cuaca, atau aliran darah akan segera menghasilkan kecepatan yang benar-benar tak terhingga. Skenario OpenAI memakai gaya paksa halus yang dirancang khusus dan konfigurasi pusaran yang sangat spesifik. Hasil tersebut menunjukkan suatu kemungkinan yang diizinkan persamaan, bukan bukti bahwa aliran sehari-hari secara alami akan berkembang seperti itu. 10
44
Ada pula batas pemodelan praktis. Navier–Stokes adalah model kontinu; pada skala yang sangat kecil, fisika molekuler mulai relevan. Jadi, singularitas matematis dalam model kontinu tidak boleh dibaca sebagai prediksi bahwa fluida nyata dapat bergerak dengan kecepatan tak terbatas.
Dampak langsungnya, jika tervalidasi, terutama bersifat matematis dan metodologis: memperjelas apa yang dapat diizinkan oleh persamaan, bukan langsung menciptakan alat baru untuk desain pesawat atau prakiraan cuaca.
Sengketa soal prioritas dan kredit
Pengumuman ini juga memicu perselisihan mengenai waktu dan atribusi. Tristan Buckmaster dari NYU dan Levent Alpöge dari Anthropic sebelumnya mengumumkan pekerjaan berbantuan AI serta diformalisasi Lean mengenai hasil blowup pada persamaan fluida terkait yang diberi gaya paksa. Pekerjaan mereka bertumpu pada strategi terdahulu yang dikaitkan dengan Diego Córdoba dan Luis Martínez-Zoroa. 1
2
5
Buckmaster dan Alpöge menyampaikan kekhawatiran bahwa OpenAI mungkin memperoleh manfaat dari pengetahuan atas pekerjaan mereka yang ketika itu belum dipublikasikan, atau bahwa bingkai pengumuman publik tidak cukup mencerminkan jejak gagasan manusia di balik pendekatan terkait. Bukti yang tersedia menegaskan adanya sengketa prioritas, tetapi tidak membuktikan adanya penyalinan. 1
13
Kasus ini menyoroti tantangan yang lebih luas dalam riset berbantuan AI: pemberian kredit mungkin perlu mempertimbangkan penemu gagasan manusia sebelumnya, pihak yang memformalkan atau memvalidasi argumen, perancang sistem, dan model yang dipakai dalam proses penemuan.
Mengapa pemahaman manusia tetap penting?
Bukti yang sah tetap dapat menjadi tonggak sejarah, walaupun sangat bergantung pada rekayasa pencarian berskala besar. Tetapi matematikawan juga menghargai penjelasan yang membuka struktur yang dapat dipakai kembali: mengapa fenomena terjadi, ide mana yang dapat digeneralisasi, dan bagaimana suatu bukti mengubah pemahaman terhadap masalah-masalah di sekitarnya.
Di situlah letak ketegangan produktif dalam matematika berbasis AI. Pencarian oleh banyak agen dapat menemukan konstruksi yang tidak terpikirkan manusia. Namun, apabila wawasan penentunya sulit ditafsirkan manusia, hasil itu mungkin memberi panduan konseptual yang lebih sedikit ketimbang bukti yang lebih singkat dan lebih menjelaskan. Klaim OpenAI karenanya juga menjadi ujian: bukan hanya apakah bukti dapat diverifikasi, melainkan apakah AI dapat menyumbang pemahaman matematika yang bertahan lama.
Apakah hadiah US$1 juta dari Clay sudah diberikan?
Belum. OpenAI menyatakan tidak berniat mengklaim Hadiah Milenium tersebut. Aturan CMI mengharuskan solusi yang diajukan diterbitkan di media yang memenuhi syarat, menunggu setidaknya dua tahun setelah penerbitan, dan mendapat penerimaan umum dari komunitas matematika global sebelum CMI mempertimbangkannya. 10
27
Dalam pernyataannya pada September, CMI mengatakan masalah itu tampaknya telah terselesaikan dan sedang mencermati pengumuman tersebut bersama komunitas matematika. Itu adalah pengakuan atas arti penting klaimnya, bukan pengesahan akhir. 18
Untuk saat ini, deskripsi yang paling akurat adalah: OpenAI telah menerbitkan klaim luar biasa yang diformalisasi mesin tentang blowup waktu hingga dalam Navier–Stokes tiga dimensi. Status akhirnya bergantung pada apakah matematikawan independen mengonfirmasi bahwa bukti dan formalisasi Lean itu benar-benar membuktikan teorema yang diklaim. 10
18
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 "Klaim Bukti Navier–Stokes OpenAI: Apa yang Diumumkan dan Apa yang Belum Terverifikasi"?
Pada 8 September 2026, OpenAI menyatakan sistem internal yang melibatkan sekitar 10.000 agen terkoordinasi menghasilkan bukti 166 halaman serta formalisasi Lean untuk singularitas waktu hingga pada aliran Navier–Stoke...
Apa poin penting yang harus divalidasi terlebih dahulu?
Pada 8 September 2026, OpenAI menyatakan sistem internal yang melibatkan sekitar 10.000 agen terkoordinasi menghasilkan bukti 166 halaman serta formalisasi Lean untuk singularitas waktu hingga pada aliran Navier–Stoke... Contoh yang diklaim berawal dari fluida halus yang diam, lalu diberi gaya eksternal halus hingga membentuk pusaran yang makin mengencang dan memanjang; kecepatannya tak terbatas dalam waktu berhingga, sementara energi...
Apa yang harus saya lakukan selanjutnya dalam latihan?
Formalisasi Lean berarti argumen yang dikodekan dapat diperiksa mesin, tetapi matematikawan independen tetap perlu memastikan teorema, asumsi, dan pemodelannya benar benar sesuai dengan masalah Navier–Stokes yang dima...