AnswersPublished20 sources
OpenAI Dakwa Selesaikan Masalah Navier–Stokes — Tetapi Pengesahan Bebas Masih Penentu
Pada 8 September 2026, OpenAI berkata sistem dalaman yang belum dikeluarkan, menggunakan kira kira 10,000 ejen terselaras, menghasilkan bukti 166 halaman serta pemformalan Lean bagi singulariti masa terhingga dalam al... Contoh yang didakwa bermula dengan bendalir licin dalam keadaan pegun.
Diterbitkan olehDisunting dengan GPT-5.6 TerraImej dijana dengan GPT Image 2
Research answer
Key takeaways
- Pada 8 September 2026, OpenAI berkata sistem dalaman yang belum dikeluarkan, menggunakan kira kira 10,000 ejen terselaras, menghasilkan bukti 166 halaman serta pemformalan Lean bagi singulariti masa terhingga dalam al...
- Contoh yang didakwa bermula dengan bendalir licin dalam keadaan pegun. Daya luaran licin menghasilkan pusaran yang semakin mengetat ke dalam dan memanjang, hingga halajunya menjadi tidak terhingga dalam masa terhingga...
- Pemformalan Lean membolehkan hujah yang dikodkan diperiksa secara mekanikal, namun ahli matematik masih perlu memastikan teorem, andaian dan pemodelannya benar benar sepadan dengan masalah rasmi Clay.
AI Prompt
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 satu dakwaan besar dalam matematik dan AI: sistem dalaman syarikat yang belum dikeluarkan didakwa menemui kedua-dua bukti analitik dan pemformalan dalam Lean bahawa aliran Navier–Stokes tak mampat tiga dimensi boleh membentuk singulariti dalam masa terhingga. OpenAI turut menerbitkan manuskrip 166 halaman bersama pemformalannya. Dakwaan ini berpotensi menyelesaikan Masalah Hadiah Milenium Navier–Stokes oleh Clay Mathematics Institute, tetapi ia belum sama dengan pengesahan oleh komuniti matematik atau penganugerahan hadiah. 10
18
27
Apa yang sebenarnya didakwa oleh OpenAI?
Pembinaan yang diumumkan bermula dengan bendalir licin dalam keadaan pegun, lalu dikenakan daya luaran yang juga licin. Menurut OpenAI, aliran itu membentuk pusaran yang berlingkar ke dalam sambil semakin memanjang. Pada satu masa terhingga, aliran tersebut membentuk singulariti: halaju menjadi tidak terbatas, walaupun jumlah tenaga bendalir kekal terhingga. 10
44
Ini bukan sekadar simulasi komputer yang memaparkan pusaran sangat laju. Soalan matematiknya ialah sama ada persamaan tersebut membenarkan penyelesaian bertenaga terhingga yang pada asalnya licin tetapi kehilangan kelicinan dalam masa terhingga. OpenAI menyatakan bahawa contohnya direka khusus untuk menunjukkan kemungkinan itu di bawah daya paksa yang licin. 10
Mengapa ia berpotensi menyelesaikan masalah Clay?
Rumusan rasmi Clay menyediakan beberapa laluan untuk menyelesaikan masalah itu. Secara kasar, satu laluan membuktikan bahawa penyelesaian sentiasa licin untuk semua masa; satu lagi menunjukkan kegagalan kelicinan. OpenAI menyatakan pembinaannya memenuhi alternatif C dan D dalam rumusan Clay — iaitu alternatif berbentuk contoh balas yang melibatkan kegagalan kelicinan dalam masa terhingga, termasuk dalam keadaan dengan daya luaran licin. 10
17
Jika bukti itu benar dan pernyataan formalnya benar-benar sepadan dengan masalah rasmi, ia akan menunjukkan bahawa kelicinan global sejagat tidak semestinya berlaku dalam tetapan tersebut. Clay menyifatkan pengumuman itu sebagai masalah yang “nampaknya” telah diselesaikan, sambil menegaskan bahawa komuniti matematik masih perlu menilainya. 18
Skala pengiraan: kira-kira 10,000 ejen AI
Laporan mengenai pengumuman itu menyebut kumpulan kira-kira 10,000 ejen autonomi yang berjalan menggunakan model OpenAI canggih dan belum tersedia kepada umum. OpenAI menyifatkan sistem itu sebagai penyelaras ejen untuk menghasilkan penulisan matematik biasa dan pemformalan Lean; laporan lain menyatakan larian tersebut mengambil masa 88 jam. 10
12
2
Yang penting, hasilnya tidak dibentangkan sebagai cadangan model atau eksperimen berangka semata-mata. Dakwaannya ialah sistem berkenaan menghasilkan hujah analitik lengkap serta perwakilan yang boleh diperiksa mesin.
Apakah maksud “diformalkan dalam Lean” — dan apakah yang masih belum selesai?
Lean ialah pembantu bukti, iaitu perisian yang memeriksa sama ada suatu teorem benar-benar mengikuti definisi, aksiom dan hasil terdahulu yang telah diformalkan, dengan setiap langkah dikodkan secara tepat. Jika semakan Lean berjaya, ia boleh mengurangkan dengan besar risiko ralat logik biasa dalam hujah yang telah dikodkan. OpenAI menerbitkan pemformalan itu bersama bukti berkenaan. 10
Namun, semakan mesin tidak menggantikan persoalan manusia yang paling penting:
- Adakah teorem yang dikodkan benar-benar mewakili dakwaan Navier–Stokes yang dimaksudkan?
- Adakah andaian dan definisinya tepat untuk rumusan Clay?
- Adakah pemformalan itu menangkap dengan setia setiap langkah substantif dalam pembinaan analitik tersebut?
Sebab itulah semakan pakar bebas tetap penting. Bukti formal ialah aset pengesahan yang sangat kuat, bukannya pengganti automatik bagi tafsiran dan penerimaan matematik.
Bukan penemuan yang terus mengubah kejuruteraan bendalir
Walaupun pembinaan ini akhirnya disahkan, ia tidak bermaksud aliran udara di sekeliling pesawat, turbulens dalam paip, sistem cuaca atau aliran darah akan mula menghasilkan halaju tak terhingga secara literal. Senario yang diumumkan menggunakan daya licin yang direka khas serta konfigurasi pusaran yang sangat khusus. Ia menunjukkan satu kemungkinan yang dibenarkan oleh persamaan, bukannya membuktikan aliran harian secara semula jadi berkembang ke arah keadaan sedemikian. 10
44
Terdapat juga had pada peringkat pemodelan: Navier–Stokes ialah model kontinum. Pada skala yang cukup kecil, fizik molekul menjadi penting. Jadi, singulariti matematik dalam persamaan kontinum tidak patut dibaca sebagai ramalan bahawa bendalir sebenar akan bergerak pada kelajuan tidak terhingga.
Kepentingan segera hasil ini adalah dalam matematik dan kaedah penyelidikan: ia menyentuh apa yang dibenarkan oleh persamaan, bukan menyediakan alat baharu yang sedia digunakan untuk reka bentuk pesawat atau ramalan cuaca.
Pertikaian keutamaan dan kredit
Pengumuman tersebut turut mencetuskan pertikaian tentang masa dan pengiktirafan. Tristan Buckmaster dari NYU dan Levent Alpöge dari Anthropic telah mengumumkan kerja berbantukan AI serta diformalkan dalam Lean tentang hasil letupan (blowup) bagi persamaan bendalir berkaitan yang dipaksa, tidak lama sebelum penerbitan OpenAI. Kerja mereka pula membina strategi terdahulu yang dikaitkan dengan Diego Córdoba dan Luis Martínez-Zoroa. 1
2
5
Buckmaster dan Alpöge membangkitkan kebimbangan bahawa OpenAI mungkin mendapat manfaat daripada pengetahuan tentang kerja mereka yang ketika itu belum diterbitkan, dan bahawa cara pengumuman awam itu dibingkaikan tidak cukup mengiktiraf susur galur idea manusia di sebalik pendekatan berkaitan. Bukti yang tersedia menunjukkan wujud pertikaian keutamaan; ia tidak membuktikan berlakunya penyalinan. 1
13
Episod ini menonjolkan cabaran lebih luas dalam penyelidikan berbantukan AI: pengiktirafan mungkin perlu mengambil kira idea penyelidik terdahulu, pihak yang memformalkan atau mengesahkan hujah, pembina sistem dan model yang digunakan dalam penemuan.
Mengapa kefahaman manusia masih penting dalam matematik
Bukti yang sah tetap boleh menjadi peristiwa bersejarah walaupun ia sangat kompleks dan dibangunkan melalui proses kejuruteraan. Namun ahli matematik juga menghargai penjelasan yang mendedahkan struktur boleh guna semula: mengapa sesuatu fenomena berlaku, idea mana yang boleh digeneralisasikan, dan bagaimana bukti itu mengubah pemahaman terhadap masalah berdekatan.
Di sinilah wujud ketegangan yang produktif dalam matematik dipacu AI. Carian ejen berskala besar mungkin menemui pembinaan yang tidak dijangka oleh manusia. Tetapi jika wawasan penentunya sukar ditafsirkan, hasil itu mungkin memberi panduan konsep yang kurang berbanding bukti lebih ringkas tetapi lebih menjelaskan. Maka dakwaan OpenAI juga menguji sama ada AI mampu menyumbang kefahaman matematik yang berkekalan, bukan sekadar jawapan formal yang sah.
Adakah hadiah Clay AS$1 juta sudah diberikan?
Tidak. OpenAI menyatakan bahawa ia tidak bercadang menuntut Hadiah Milenium tersebut. Peraturan Clay menetapkan bahawa penyelesaian yang dicadangkan mesti diterbitkan dalam saluran yang layak, melalui sekurang-kurangnya dua tahun selepas penerbitan, dan menerima penerimaan umum daripada komuniti matematik global sebelum Clay mempertimbangkannya. 10
27
Kenyataan Clay pada September menyebut masalah itu “nampaknya” telah diselesaikan dan institusi tersebut sedang meneliti pengumuman berkenaan bersama komuniti matematik. Itu ialah pengakuan terhadap kepentingan dakwaan tersebut — bukan keputusan muktamad. 18
Buat masa ini, huraian paling tepat ialah: OpenAI telah menerbitkan dakwaan yang luar biasa, lengkap dengan pemformalan mesin, bahawa wujud letupan masa terhingga dalam Navier–Stokes tiga dimensi. Status akhirnya bergantung pada sama ada ahli matematik bebas mengesahkan bahawa bukti dan pemformalan Lean itu membuktikan teorem yang tepat seperti didakwa. 10
18
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 "OpenAI Dakwa Selesaikan Masalah Navier–Stokes — Tetapi Pengesahan Bebas Masih Penentu"?
Pada 8 September 2026, OpenAI berkata sistem dalaman yang belum dikeluarkan, menggunakan kira kira 10,000 ejen terselaras, menghasilkan bukti 166 halaman serta pemformalan Lean bagi singulariti masa terhingga dalam al...
What are the key points to validate first?
Pada 8 September 2026, OpenAI berkata sistem dalaman yang belum dikeluarkan, menggunakan kira kira 10,000 ejen terselaras, menghasilkan bukti 166 halaman serta pemformalan Lean bagi singulariti masa terhingga dalam al... Contoh yang didakwa bermula dengan bendalir licin dalam keadaan pegun. Daya luaran licin menghasilkan pusaran yang semakin mengetat ke dalam dan memanjang, hingga halajunya menjadi tidak terhingga dalam masa terhingga...
What should I do next in practice?
Pemformalan Lean membolehkan hujah yang dikodkan diperiksa secara mekanikal, namun ahli matematik masih perlu memastikan teorem, andaian dan pemodelannya benar benar sepadan dengan masalah rasmi Clay.