AnswersPublished20 sources
OpenAI väittää ratkaisseensa Navier–Stokes-ongelman – mutta todellinen koetinkivi on vasta edessä
OpenAI ilmoitti 8.9.2026, että noin 10 000 koordinoidun agentin järjestelmä tuotti 166 sivuisen todistuksen ja Lean formalisoinnin pakotetun kolmiulotteisen Navier–Stokes virtauksen äärellisen ajan singulariteetista. Väitteen mukaan levossa oleva sileä neste saa sileän ulkoisen pakotuksen, jonka seurauksena sisäänpä...
JulkaisijaMuokattu mallilla GPT-5.6 TerraKuvat luotu mallilla GPT Image 2
Research answer
Key takeaways
- OpenAI ilmoitti 8.9.2026, että noin 10 000 koordinoidun agentin järjestelmä tuotti 166 sivuisen todistuksen ja Lean formalisoinnin pakotetun kolmiulotteisen Navier–Stokes virtauksen äärellisen ajan singulariteetista.
- Väitteen mukaan levossa oleva sileä neste saa sileän ulkoisen pakotuksen, jonka seurauksena sisäänpäin kiertyvä ja pidentyvä pyörre saa rajatta kasvavan nopeuden äärellisessä ajassa, vaikka kokonaisenergia pysyy äärel...
- Lean tarkistus vahvistaa muodollisesti koodatun todistuksen loogisia askelia, mutta tutkijoiden on silti arvioitava, vastaavatko muodollinen väite, oletukset ja mallinnus täsmälleen Clay Mathematics Instituten ongelma...
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:n 8. syyskuuta julkaisema ilmoitus on poikkeuksellisen suuri väite tekoälyn ja matematiikan risteyskohdassa. Yhtiön mukaan sen julkistamaton sisäinen järjestelmä löysi sekä analyyttisen todistuksen että Lean-formalisoinnin sille, että kolmiulotteiseen kokoonpuristumattomaan Navier–Stokes-virtaukseen voi syntyä singulariteetti äärellisessä ajassa. OpenAI julkaisi 166-sivuisen käsikirjoituksen ja todistuksen koneellisesti tarkistettavan version. Tämä voisi ratkaista Clay Mathematics Instituten Millennium-palkinto-ongelman, mutta kyse ei ole vielä matemaattisen yhteisön lopullisesta hyväksynnästä eikä palkinnon myöntämisestä. 10
18
27
Mitä OpenAI sanoo todistaneensa?
OpenAI:n kuvaama rakenne alkaa sileästä, levossa olevasta nesteestä, johon kohdistetaan sileä ulkoinen voima. Yhtiön mukaan virtaus muodostaa pyörteen, joka kiertyy sisäänpäin ja samalla pitenee yhä enemmän. Äärellisellä hetkellä virtaukseen syntyy singulariteetti: nopeus kasvaa rajatta, vaikka virtauksen kokonaisenergia säilyy äärellisenä. 10
44
Tässä on väitteen olennainen ero pelkkään numeeriseen simulaatioon verrattuna. Kysymys ei ole siitä, voiko laskenta näyttää hyvin nopeasti pyörivän virtauksen, vaan siitä, sallivatko yhtälöt sileän ja äärellisen energian ratkaisun, joka menettää sileytensä äärellisessä ajassa. OpenAI sanoo rakentaneensa juuri tällaisen esimerkin sileällä pakotuksella. 10
Miksi väite voisi ratkaista Millennium-ongelman?
Clay Mathematics Instituten virallinen ongelmanasettelu hyväksyy useita tapoja ratkaista ongelma. Yksi reitti olisi osoittaa ratkaisujen säilyvän sileinä kaikilla ajoilla, toinen taas esittää tapaus, jossa sileys rikkoutuu. OpenAI sanoo rakenteensa toteuttavan Clayn muotoilun vaihtoehdot C ja D: vastaesimerkkityyppiset vaihtoehdot, joissa sileys pettää äärellisessä ajassa, myös sileän pakotuksen tilanteessa. 10
17
Jos todistus on oikein ja sen muodollinen väite vastaa täsmällisesti virallista ongelmaa, se ratkaisisi asetelman osoittamalla, ettei yleinen kaikkia tapauksia koskeva sileys päde tässä muodossa. Clay kuvaili ilmoitusta ongelman ilmeiseksi ratkeamiseksi, mutta korosti samalla, että matematiikan yhteisön on arvioitava työ. 18
Noin 10 000 agenttia ja 88 tuntia laskentaa
Ilmoitusta käsitelleiden raporttien mukaan työssä käytettiin noin 10 000 autonomista agenttia edistyneellä, julkistamattomalla OpenAI-mallilla. OpenAI:n mukaan järjestelmä koordinoi agentteja tuottamaan sekä perinteisen matemaattisen todistuksen että Lean-formalisoinnin. Muiden raporttien mukaan ajo kesti 88 tuntia. 10
12
2
Merkittävää on, ettei tulosta esitetä vain mallin ehdotuksena tai laskennallisena kokeena. Väite koskee kokonaista analyyttistä perustelua sekä sen koneellisesti tarkistettavaa esitystä.
Mitä Lean-formalisointi varmistaa – ja mitä se ei varmistaa?
Lean on todistusavustin: se tarkistaa, seuraako väite täsmällisesti määritelmistä, aksioomista ja aiemmin formalisoiduista tuloksista. Onnistunut Lean-tarkistus voi pienentää olennaisesti tavanomaisten, rivi riviltä tehtävässä todistuksessa mahdollisten loogisten virheiden riskiä. OpenAI julkaisi formalisointinsa todistuksen yhteydessä. 10
Koneellinen tarkistus ei silti poista keskeisiä ihmisten arvioitavia kysymyksiä:
- Vastaako koodattu teoreema tarkasti tarkoitettua Navier–Stokes-väitettä?
- Ovatko oletukset ja määritelmät Clayn virallisen ongelman kannalta oikeat?
- Sisältyvätkö analyyttisen konstruktion kaikki olennaiset askeleet uskollisesti formalisointiin?
Siksi riippumaton asiantuntija-arviointi on edelleen välttämätöntä. Formalisoitu todistus on erittäin vahva tarkistusväline, mutta se ei korvaa matemaattista tulkintaa ja yhteisön hyväksyntää.
Ei suora läpimurto lentokoneisiin, säähän tai putkivirtauksiin
Vaikka konstruktio osoittautuisi oikeaksi, se ei tarkoittaisi, että tavallinen lentokoneen ympärillä virtaava ilma, putkiturbulenssi, sääjärjestelmä tai verenkierto olisi pian kehittämässä kirjaimellisesti ääretöntä nopeutta. Ilmoitettu tapaus edellyttää erityisesti suunniteltua sileää pakotusta ja hyvin erityistä pyörrekokoonpanoa. Se osoittaa yhtälöiden salliman mahdollisuuden, ei sitä, että arkiset fysikaaliset virtaukset tavallisesti kehittyisivät näin. 10
44
Lisäksi Navier–Stokes-yhtälöt ovat jatkuvan aineen malli. Riittävän pienissä mittakaavoissa molekyylifysiikka tulee olennaiseksi, joten jatkumomallin matemaattista singulariteettia ei pidä tulkita ennusteeksi todellisen nesteen fyysisesti äärettömästä nopeudesta.
Tuloksen välitön merkitys onkin ennen kaikkea matemaattinen ja menetelmällinen: se koskee sitä, mitä yhtälöt sallivat, ei valmista uutta työkalua lentokonesuunnitteluun tai sääennusteisiin.
Kiista ensisijaisuudesta ja ansiosta
Ilmoituksen yhteydessä syntyi myös kiista siitä, kenelle kunnia kuuluu ja missä järjestyksessä tulokset syntyivät. New York Universityn Tristan Buckmaster ja Anthropicin Levent Alpöge olivat vähän ennen OpenAI:n julkaisua kertoneet tekoälyavusteisesta, Lean-formalisoidusta työstä, joka käsitteli lähisukuisia pakotettujen fluidiyhtälöiden blowup-tuloksia. Heidän työnsä nojasi Diego Córdobaan ja Luis Martínez-Zoroaan yhdistettyyn aiempaan strategiaan. 1
2
5
Buckmaster ja Alpöge esittivät huolensa siitä, että OpenAI olisi voinut hyötyä tiedosta heidän tuolloin julkaisemattomasta työstään tai ilmoituksestaan ja että julkinen kehystys ei tuonut riittävästi esiin ihmisten kehittämien ideoiden jatkumoa. Lähteiden perusteella kiista on olemassa, mutta ne eivät osoita kopiointia todistetuksi. 1
13
Tapaus nostaa esiin laajemman kysymyksen tekoälyavusteisessa tutkimuksessa: ansioiden jakamisen pitäisi ehkä huomioida aiemmat inhimilliset ideat, todistuksia formalisoivat tai validoivat yhteistyökumppanit, järjestelmien suunnittelijat ja löytötyössä käytetyt mallit.
Miksi inhimillinen ymmärrys on yhä tärkeää?
Pätevä todistus voi olla historiallisesti merkittävä, vaikka se olisi syntynyt hyvin teknisesti rakennetun hakuprosessin tuloksena. Matemaatikot arvostavat kuitenkin myös selityksiä, jotka paljastavat uudelleenkäytettävää rakennetta: miksi ilmiö tapahtuu, mitkä ideat yleistyvät ja miten todistus muuttaa ymmärrystä lähiongelmista.
Tässä syntyy tekoälymatematiikan keskeinen jännite. Laajamittainen agenttihaku voi löytää konstruktioita, joita ihmiset eivät olisi osanneet ennakoida. Jos ratkaiseva oivallus jää ihmisille vaikeasti tulkittavaksi, tulos voi tarjota vähemmän käsitteellistä opastusta kuin lyhyempi ja selittävämpi todistus. OpenAI:n väite testaa siis todistuksen tarkistettavuuden lisäksi sitä, voivatko tekoälyjärjestelmät tuottaa kestävää matemaattista ymmärrystä.
Onko miljoonan dollarin Clay-palkinto myönnetty?
Ei. OpenAI ilmoitti, ettei se aio hakea Millennium-palkintoa. Clayn sääntöjen mukaan ehdotetun ratkaisun täytyy olla julkaistu hyväksyttävässä julkaisukanavassa, julkaisusta on kuluttava vähintään kaksi vuotta ja ratkaisun on saatava yleinen hyväksyntä maailmanlaajuisessa matemaattisessa yhteisössä, ennen kuin Clay ottaa sen käsittelyyn. 10
27
Clayn syyskuun lausunnossa sanottiin ongelman ilmeisesti ratkenneen ja että instituutti tarkastelee ilmoitusta yhdessä matemaattisen yhteisön kanssa. Tämä on tunnustus väitteen mahdollisesta merkityksestä, ei lopullinen ratkaisu tai palkintopäätös. 18
Tällä hetkellä täsmällisin kuvaus on yksinkertainen: OpenAI on julkaissut huomattavan, koneellisesti formalisoidun väitteen äärellisen ajan blowup-ilmiöstä kolmiulotteisissa Navier–Stokes-yhtälöissä. Sen lopullinen asema riippuu siitä, vahvistavatko riippumattomat matemaatikot, että todistus ja Lean-formalisointi osoittavat täsmälleen väitetyn teoreeman. 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 väittää ratkaisseensa Navier–Stokes-ongelman – mutta todellinen koetinkivi on vasta edessä"?
OpenAI ilmoitti 8.9.2026, että noin 10 000 koordinoidun agentin järjestelmä tuotti 166 sivuisen todistuksen ja Lean formalisoinnin pakotetun kolmiulotteisen Navier–Stokes virtauksen äärellisen ajan singulariteetista.
What are the key points to validate first?
OpenAI ilmoitti 8.9.2026, että noin 10 000 koordinoidun agentin järjestelmä tuotti 166 sivuisen todistuksen ja Lean formalisoinnin pakotetun kolmiulotteisen Navier–Stokes virtauksen äärellisen ajan singulariteetista. Väitteen mukaan levossa oleva sileä neste saa sileän ulkoisen pakotuksen, jonka seurauksena sisäänpäin kiertyvä ja pidentyvä pyörre saa rajatta kasvavan nopeuden äärellisessä ajassa, vaikka kokonaisenergia pysyy äärel...
What should I do next in practice?
Lean tarkistus vahvistaa muodollisesti koodatun todistuksen loogisia askelia, mutta tutkijoiden on silti arvioitava, vastaavatko muodollinen väite, oletukset ja mallinnus täsmälleen Clay Mathematics Instituten ongelma...