Nakasolve ba ng AI ang $1 milyong Problema ng Navier-Stokes? Ano ang tunay na kahulugan ng Proof ni OpenAI
Noong Setyembre 8, 2026, ipinahayag ng artificial intelligence laboratory na OpenAI ang isang malaking pagbabago sa mundo ng agham nang ipahayag na isang panloob na multi-agent AI system ay nagbuo ng isang 166-pahina na Lean-verified proof na lutasin ang 3D Navier-Stokes existence at smoothness problem—isang hamon na nasa loob ng isang siglo at itinuturing bilang isa sa pitong $1 milyon na Millennium Prize Problems na itinatag ng Clay Mathematics Institute.
Ang pagpapahayag ay nagdulot ng agad na kontrobersiya, na nagpapalakas ng malalim na pagtalakay tungkol sa privacy ng data, akademikong prioridad, at totoong papel ng machine intelligence sa pangunahing pananaliksik.
-
Pangunahing Tagumpay: Ginawa ng OpenAI ang isang 166-pahina na pormal na patunay gamit ang 10,000 mga multi-agent swarm sa loob ng 88 oras, na nagpapakita ng finite-time blowup (singularity) sa 3D na inkompresibleng equation ng fluid sa ilalim ng malambot na panlabas na pagpapalakas.
-
Pagsusuri: Ang patunay ay matematikal na napatunayan gamit ang Lean theorem prover sa loob ng 17 oras, na nag-alis ng mga logical error o AI hallucinations.
-
Katayuan ng Prima: Ang $1 milyong Millennium Prize ay hindi pa opisyal na ibinibigay; ang Clay Mathematics Institute (CMI) ay nangangailangan ng peer-reviewed na paglalathala at dalawang-taong panahon ng pagsusuri. Tinanggihan ni OpenAI ang paghingi ng pera sa prima.
-
Etikal na kontrobersiya: Sinakdal ni Tristan Buckmaster at Levent Alpöge ang OpenAI dahil sa paggamit ng mga pribadong chat logs at mga nai-upload na draf para gabayan ang kanilang mga agente, na nagpalit ng global na debate tungkol sa privacy ng data at akademikong prioridad.
-
Kasaligan sa pag-unawa ng tao: Habang ang pormal na lohika ay pinatotohanan, ang patunay na ginawa ng AI ay nagsisilbing "black box" na walang intuisyong matematikal upang tulungan ang mga tao na maintindihan kung bakit nangyayari ang blowup.
Ang AI multi-agent swarm ay nagtatag ng finite-time blowup para sa 3D na mga equation ng inkompreysible na fluid sa ilalim ng isang malinis na panlabas na puwersa, ipinakikita na ang bilis ng fluid ay maaaring tumumaong walang hanggan sa loob ng isang limitadong panahon habang ang kabuuang pisikal na enerhiya ay nananatiling limitado.
Ang mga equation ng Navier-Stokes, na isinapamalas noong ika-19 siglo ni Claude-Louis Navier at George Gabriel Stokes, ang nagpapaliwanag kung paano gumagalaw ang mga likido at gas. Sa loob ng maraming dekada, ang mga matematiko ay nagtatanong kung ang mga malinis, pisikal na makatwirang kondisyon sa simula ay maaaring magdulot ng isang "singularity" o "blowup"—isang punto kung saan ang bilis ng fluid ay naging walang hanggan.
Ipinadeploy ng OpenAI ang halos 10,000 na autonomous AI agents na tumatakbo nang sabay-sabay sa loob ng 88 na oras. Ang mga agent na ito ay nagpalitan ng higit sa 2.7 milyon na mensahe at nag-generate ng 130 bilyon na output tokens upang mabuo ang isang matematikal na modelo ng isang spiraling, stretching fluid vortex. Upang maprotektahan ang posibleng AI hallucinations, ang nag-generated na lohika ay isinalin sa Lean, isang automated interactive theorem prover, na nag-verify ng step-by-step na argumento sa loob ng halos 17 na oras.
Ayon sa teknikal na spesipikasyon na inilabas ng mga ekipa ng pananaliksik na nag-evaluate sa resulta, ang patotoo ay tumutugon sa mga partikular na kondisyon na isinasaad sa opisyal na pahayag ng suliranin ni Charles Fefferman para sa Clay Mathematics Institute (lalo na ang mga alternatibo C at D).
| Mektrika / Parametro | Mga Spesipikasyon ng Patunay ng Multi-Agent ng OpenAI |
| Oras ng Pagganap | 88 oras sa mga multi-agent clusters |
| Sukat ng Agent | ~10,000 na pare-parehong autonomous AI agents |
| Bilang ng Mensahe | 2.7 milyon mga panloob na mensahe; 130 bilyon mga token |
| Pormal na Pag-verify | 17 oras sa pamamagitan ng Lean Interactive Theorem Prover |
| Pangunahing Resulta | Nagpapakita ng finite-time singularity sa ilalim ng malinis na panlabas na pagpapalakas |
Hindi pa opisyal na ibinibigay ang $1 milyong Millennium Prize dahil nangangailangan ang Clay Mathematics Institute ng isang mahigpit na proseso ng pagsusuri na nagtatagal ng maraming taon bago maaaring tanggapin ang anumang solusyon.
Kailangan ng Clay Mathematics Institute (CMI) na ang anumang propong solusyon ay ipubliko sa isang peer-reviewed na matematikal na journal na may international na reputasyon, kasunod ng obligatoriyong dalawang-taong panahon ng paghihintay. Sa panahong ito, kailangang suriin at tanggapin ng mas malawak na scientific community ang patunay. Hanggang sa kasalukuyan, patuloy na listahan ng CMI ang problema ng pagkakaroon at kalinisan ng Navier-Stokes bilang bukas.
Dagdag pa, pinaliwanag ng OpenAI na walang intensyon ito na mamahinga sa $1 milyong pera, sinasabi na ang pangunahing layunin nito ay ipakita ang kakayahan ng malawakang agentic reasoning kaysa maghanap ng pera. Ang tanging solved Millennium Prize Problem na opisyal na kilala ay ang Poincaré Conjecture, na lutasin ng Russian mathematician na si Grigori Perelman noong 2003 (na kung saan ay tinanggihan din ang parangal).
Ang pagbubukas ay nagdulot ng malakas na pagtutol dahil sa mga alegasyon na ang sistema ng OpenAI ay nakabatay sa hindi inaasahang tao'y pananaliksik na inilagay ng mga matematiko na nagpasya na huwag sumali sa pagtatrabaho ng data.
Nakalipas ang halos 12 oras bago ang pahayag ng OpenAI, ang matematiko ng NYU na si Tristan Buckmaster ay nag-publish ng pahayag na naglalahad ng kanyang trabaho kasama si Levent Alpöge, isang matematiko na kaugnay sa Anthropic. Ang parehong ito ay nagtrabaho nang higit sa isang taon upang lumikha ng mga bagong teknik upang patunayan ang mga blowup sa mga equation ng fluid—lalo na ang Euler equations, isang malapit na kaugnay na klase ng mga modelo ng fluid dynamics.
| Kontrobersyal na Dimensyon | Pangunahing mga Aklamasyon at Ebidensya | Opisyal na Posisyon ng OpenAI |
| Pinagmulan ng Data | Ang mga human researcher ay nag-upload ng mga pribadong draft at prompt sa ChatGPT/Codex habang pinag-aaralan ang fluid singularities. | Hindi nagbasa ng anumang draft ng user o lumabag sa mga kontrol ng pag-access ang anumang empleyado o tagapag-ugnay. |
| Mga Opt-Out na "Huwag I-train" | Nag-decide ang mga researcher na huwag sumali sa pagtatrain, ngunit sinasabing nagleak ang mga konsepto sa mga backend iteration. | Nag-amin na "hindi maaaring alisin ang posibilidad na ang de-identified data na natanggap mula sa paggamit ng produkto ay nakatulong sa pagpapabuti ng mga modelo." |
| Pangunahing Pagkakaroon ng Agham | Ipinakilala ng OpenAI ang 10,000 na agent upang gamitin ang brute-force para sa isang paralel na patunay pagkatapos malaman ang progreso ng tao. | Isinasaad ang tagumpay bilang isang sariling tagumpay ng autonomong multi-agent na pag-iisip. |
Gamit ni Buckmaster at Alpöge ang mga kasangkapan ng OpenAI, kabilang ang Codex at ChatGPT, upang subukan ang mga partikular na intermediate conjectures at isulat ang mga code routine. Habang tinanggihan ng OpenAI na direktang napapalabas ng kanilang staff o AI agents ang mga pribadong file ng account, kilala ng mga tagapagsalita ng kumpanya sa mga sumunod na pahayag na hindi nila maaalis ang posibilidad na ang de-identified data na natanggap mula sa mga interaksyon ng user ay nakaimpluwensya sa mga pag-update ng backend model.
Ang pag-amin na ito ay nagdulot ng malawakang pagtutol sa buong akademikong komunidad. Ang mga kilalang persona, kabilang ang Fields Medalist na si Terence Tao, ay nagtala na ang insidente ay nagpapakita ng lumalaking tensyon: ang mga indibidwal na mananaliksik na nagpapadala ng mga pinakabagong ideya sa mga komersyal na platform ng AI ay maaaring nangangahulugang bigyan ng pagkakataon ang mga kumpanya sa teknolohiya na may malalaking mapagkukunan ng compute upang mabilis na isama at ipaglaban ang parehong mga resulta.
Ang mga pormal na patunay na veripikado ng kompyuter ay nagtitiyak ng lohikal na kawastuhan sa pamamagitan ng software tulad ng Lean, ngunit madalas na kulang sa intuïtibong konseptuwal na mga framework na ginagamit ng mga tao na matematiko upang palawakin ang larangan.
Ang mga tradisyonal na matematikal na patunay na isinulat ng mga tao ay naglalayong dalawang layunin: patotohanan na tama ang isang pahayag sa matematika at paliwanag kung bakit ito tama. Ang mga patunay na isinulat ng mga tao ay naglalaman ng malalaking konseptuwal na tulay, magagandang mga balangkas, at muling gamitin mga teknik na nagpapahikayat sa mga hinaharap na pagkakakitaan sa mga kaugnay na disiplina.
Sa kabaligtaran, ang isang AI system na nagpapatupad ng isang 88-hour na multi-agent run ay nakasalalay sa brute-force na pagpapalawak sa mga milyon ng mga sangay. Ang resultang 166-pahina na dokumento—habang opisyal na binigyang-katotohanan hakbang-hakbang ng core engine ng Lean—ay gumagana bilang isang "black box." Ito ay nagpapatotoo na ang mga matematikal na kondisyon ay tumutugma, ngunit nagdudulot ng malaking hirap sa mga tao na matematiko na nagtatanggap na makakuha ng mga pangkalahatang prinsipyo o edukasyonal na mga insigh.
-
Pormal na Pagpapatotoo: Sinisiguro ang walang mga logikal na kulang, mga pagkakamali sa pagtype, o mga nakatago na struktural na kamalian sa mga hakbang batay sa code.
-
Kakayahang basahin ng tao: Kulang sa malinaw na pagsasalaysay na pang-edukasyon, na nagiging sanhi ng sobrang pagiging mabagal sa pag-analisa ng tao sa mas malalaking istruktural na ideya.
-
Kabuuang pagkakaroon: Maaaring lutasin ang partikular na hiwalay na kondisyon sa hangganan nang hindi nagbibigay ng direktang teknik na makakatugon sa mga sistema ng Navier-Stokes na walang pwersa.
Isang teoretikal na patunay na nagpapakita ng isang matematikal na paglago ay hindi agad nagbabago sa mga praktikal na inhinyeriyang modelo, dahil ang mga numerikal na pag-aaproxima ay nangangasiwa na sa turbulenteng likido sa applied physics.
Ang mga equation ng Navier-Stokes ay malawak na ginagamit sa mga pandaigdigang industriya upang modelohin ang mga pattern ng panahon, mapabuti ang mga hulma ng barko sa dagat, disenyo ang mga hypersonic na eroplano, at simulahin ang daloy ng dugo sa kardiovascular. Sa praktikal na aplikasyon, gumagamit ang mga inhinyero ng mga diskretisadong kompyuter simulation na gumagana sa loob ng ligtas na pisikal na hangganan.
Ang pagpapatotoo na ang mga matematikong ekwasyon ay nagbibigay ng walang hanggang spike sa bilis sa ilalim ng tiyak na malambot na panlabas na puwersa ay nagpapakita kung saan nagkakaroon ng pagbagsak ang mga modelo ng kontinuüm ng mekaniks ng fluid sa ekstremong atomikong antas. Ito ay nagbibigay ng tiyak na hangganan sa mga teoretikal na pisiko kung kailan natitigil ang mga aksiyoma ng kontinuüm ng fluid, at nagpapalakas ng daan para sa mas mabuting hybrid na modelo na nagtatagpo ng mekaniks ng kontinuüm at molecular dynamics.
Ang pag-trade ng mga crypto token na may kinalaman sa mga siklo ng kuwento ng artificial intelligence sa KuCoin ay nagtataguyod ng malaking pagkakataon sa spekulatibong teknolohiyang momentum, ngunit nangangailangan ng mahigpit na pagpapamahala sa panganib dahil sa volatility ng merkado.
Kapag makakarating ang mga pangunahing ambag sa artificial intelligence sa mga balita sa buong mundo, tumataas ang trading volume ng mga AI-themed crypto asset at decentralized compute networks. Sa mga platform tulad ng KuCoin, madalas na sinusuri ng mga trader ang mga AI token, decentralized GPU networks, at data-sovereignty protocols na nagkakasalubong sa machine learning infrastructure.
-
Liquidity at Market Access: Binibigyan ka ng KuCoin ng access sa malawak na pagpili ng mga token na may AI-narrative, na nagpapahintulot sa iyo na makapag-angkop sa mga lumalabas na trend sa merkado.
-
Mga Protokolo sa Pagpapahalaga sa Data: Ang patuloy na pagtalakay tungkol sa privacy ng user prompt ay nagpapakita ng paglalago ng interes sa mga proyektong de-sentralisadong AI na nagtataglay ng pagpapahalaga sa komputasyon at pag-verify ng data na zero-knowledge.
-
Pamamahala ng Volatility: Ang spekulatibong pag-trade sa paligid ng mga pangunahing balita sa teknolohiya ay naglalaman ng mabilis na pagbabago ng presyo; ang paggamit ng spot, futures, at algorithmic trading bot ng KuCoin ay maaaring tumulong sa pagpapababa ng panganib sa pagpapatupad.
Upang magsimula sa pagpapalawak sa mga digital asset na may tema sa AI at pagpapamahala sa eksposur ng portfolio, maaaring mag-register ng account diretso sa opisyal na trading platform ng KuCoin.
Mabilis ang paggalaw ng balita sa merkado — ngunit mahalaga rin kung saan mo ito ginagamit. Sa buwan ng Oktubre, ipinapakilala ng KuCoin ang KuCoin 5.0, na nagpapalit sa KuCoin sa isang bagong binuo na platform. Narito ang mga bagay na talagang nagbabago para sa iyo:
-
Isang account para sa lahat. Ang mga lumang platform ay naghihiwalay ng iyong pera sa mga hiwalay na “spot,” “margin,” at “futures” account at inaasahan na maintindihan mo kung bakit. Ang unified account ng KuCoin 5.0 ay tinatanggal iyon — mag-deposit ng isang beses, at lahat ay direktang naroon.
-
Mga stocks, index, at komodidad. Ang KuCoin 5.0 ay lumalawak sa labas ng crypto patungo sa mga global na merkado. Kapag nagpapahinga ang crypto at umuunlad ang equities (o kaya naman ang kabaligtaran), maaari kang mag-rotate sa minuto kaysa magbukas ng brokerage account at maghintay ng mga araw para sa fiat rails.
-
Mga tunay na ari-arian (RWA). Tokenized na eksposur sa tradisyonal na ari-arian tulad ng mga komodidad, direkta sa iyong crypto account. Isa sa mga pinakamabilis na umuunlad na sektor sa pandaigdigang finansya ay hindi na nakalulokal sa mga institusyon — ikaw ay makakapag-access dito mula sa parehong balanse na ginagamit mo para mag-trade.
-
Kita habang natututo. Hindi handa na mag-trade? KCUSD ay nagpapakita ng araw-araw na interes na auto-compound para sa iyong stablecoin. Ang pinakamaliit na stress na paraan upang gawing produktibo ang iyong idle deposit para sa 4% yield.
-
Isang AI assistant na nasa simpleng wika. Magtanong, kumuha ng konteksto ng merkado, unawain kung ano ang tinitingnan mo — nakabuilt sa platform, walang kailangang jargon.
-
Isang app na hindi nagpapabigat. Mas mabilis, mas malinis, at mas magkakasundo — intuitibo agad mula sa unang pag-tap, hindi pagkatapos ng tutorial.
-
Safety na maaari mong i-check, hindi lang i-trust. Isang EU entity na may lisensya sa MiCAR, Proof of Reserves na maaari mong i-verify mismo, at internasyonal na sertipikadong seguridad (SOC 2 Type II, ISO 27001:2022).
Sta-sta ng account mo sa ilang minuto — at magsimula sa platform na gawa para sa kinabukasan ng crypto, hindi sa nakaraan nito.
Ipakita ng multi-agent system ng OpenAI na ang mga equation ng fluid sa 3D ay maaaring magpakita ng finite-time singularities sa ilalim ng smooth external forcing, na pinatotohanan nang independiyente gamit ang Lean software. Habang ito ay nagmarka bilang isang kasaysayang teknikal na tagumpay sa automated reasoning, ang solusyon ay hindi pa pinatotohanan ng Clay Mathematics Institute at nakakaranas ng malaking debate tungkol sa intellectual provenance at paggamit ng data. Habang patuloy na tinutugon ng mga AI system ang mga malalaking hamon sa agham at matematika, ang hangganan sa pagitan ng machine computation at human research transparency ay nananatiling sentral na tuldok para sa mga global na tech industry.
Ano ang ginagamit ng mga equation ng Navier-Stokes?
Ang mga equation ng Navier-Stokes ay naglalarawan kung paano umuupok ang mga fluid sa pamamagitan ng pagpapalapat ng ikalawang batas ng Newton sa mga fluid na materyales. Mahalaga sila para sa pagmomodelo ng mga sistema ng panahon, pagdidisenyo ng mga pakpak ng eroplano, pagsusuri ng mga currents sa dagat, at pag-simula ng pagdaloy ng dugo sa mga areriya.
Bakit may $1 milyong premyo para sa paglutas ng problema ng Navier-Stokes?
Ang Clay Mathematics Institute ay itinuring ang problema ng pagkakaroon at kalinawan ng Navier-Stokes bilang isa sa pitong Millennium Prize Problems noong 2000 upang hikayatin ang mga solusyon sa mga pangunahing matematikal na tanong na nagtataguyod ng modernong pisika at mga differential equation.
Nakatanggap ba ang OpenAI ng $1 milyong Millennium Prize?
Hindi, hindi nagwagi ang OpenAI sa parangal. Kailangan ng Clay Mathematics Institute ang isang maraming taong proseso ng pagsusuri ng mga kapwa at pampublikong pagpapatotoo bago opisyal na pagkilala sa anumang solusyon, at eksplisitong sinabi ng OpenAI na hindi ito sasabihin ang pera sa parangal.
Ano ang Lean verification sa matematika?
Ang Lean ay isang open-source na interactive theorem prover at programming language. Ipinapatotohan nito ang mga matematikal na patotohan sa pamamagitan ng pag-verify kung ang bawat lohikal na hakbang ay sumusunod nang walang paglihis sa pormal na aksiomatikong patakaran, at tinatanggal ang tao sa pagkakamali sa pagpapatotohan.
Maaari bang gamitin ng AI ang mga pribadong usapan sa ChatGPT upang lutasin ang mga problema sa pananaliksik?
Ang mga kumpanya ng AI ay tumutukoy sa mga patakaran sa paggamit ng data sa kanilang mga terma ng serbisyo, na nagbibigay-daan sa mga gumagamit na mag-opt out sa pagtuturo ng modelo. Gayunpaman, kilala ng mga tech firm na ang de-identified o aggregated na telemetry ng produkto ay maaaring makaapekto sa pangkalahatang pagpapabuti ng backend model sa paglipas ng panahon.
Disclaimer: AI technology ang ginamit sa pag-translate ng page na ito para sa convenience mo. Para sa pinaka-accurate na impormasyon, mag-refer sa original na English version.