AnswersPublished21 sources
Miksi OpenAI jätti Justin Sunin miljoonapalkinnon lunastamatta?
OpenAI oli 17. syyskuuta 2026 mennessä merkitty Justin Sunin miljoonan dollarin Navier–Stokes palkinnon saajaksi, mutta palkinto oli yhä lunastamatta.
JulkaisijaMuokattu mallilla GPT-5.6 TerraKuvat luotu mallilla GPT Image 2
Research answer
Key takeaways
- OpenAI oli 17. syyskuuta 2026 mennessä merkitty Justin Sunin miljoonan dollarin Navier–Stokes palkinnon saajaksi, mutta palkinto oli yhä lunastamatta.
- Lean todistus voi tarkistaa muodollisesti määritellyn väitteen, mutta se ei yksin osoita, että väite ja oletukset vastaavat täsmälleen Millennium ongelman ehtoja tai että matemaatikkojen yhteisö hyväksyy tuloksen.
- NYU:n matemaatikko Tristan Buckmaster on esittänyt huolia työn alkuperästä. OpenAI kiistää väitteet, eikä kiistaa ole ratkaistu riippumattomasti.
AI Prompt
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:n raportoitu Navier–Stokes-tulos nimettiin Justin Sunin uuden matematiikkapalkinnon ensimmäiseksi pääpalkinnon saajaksi. Yhtiö ei kuitenkaan ollut lunastanut miljoonan dollarin palkintoa. Ratkaisu on ymmärrettävästi enemmän kuin uutinen tekoälyn löytämästä todistuksesta: samalla mitataan, mitä muodollinen konevarmennus, yksityiset palkinnot, riippumaton arviointi ja tieteellinen tekijyys tarkoittavat, kun tekoäly osallistuu huipputason matematiikkaan. 3
6
8
9
Mitä OpenAI väittää osoittaneensa
OpenAI julkaisi 8. syyskuuta 2026 kirjoituksen ja Lean-formalisoinnin kolmiulotteisia, kokoonpuristumattomia Navier–Stokes-yhtälöitä koskevasta tuloksesta. Yhtiön mukaan sen sisäinen järjestelmä löysi analyyttisen todistuksen sille, että aluksi sileä, levossa oleva virtaus voi sileän ulkoisen voiman vaikutuksesta kehittää äärellisessä ajassa singulaarisuuden. 6
Clay Mathematics Instituten ongelmamuotoilun termein väite koskee pakotettua vastaesimerkkiä, eli tapauksia C ja D. Se ei osoita pakottamattomia globaalin säännöllisyyden vaihtoehtoja A ja B. Rajausta ei pidä sivuuttaa: väite siitä, että ”Navier–Stokes on ratkaistu”, voi hämärtää eron pakotetun singulaarisuusrakenteen ja kaikkien niiden tulkintojen välillä, joita yleisö voi Millennium-ongelmaan liittää. 6
18
19
Miten todistus löydettiin ja tarkistettiin
OpenAI kertoo aloittaneensa vielä koulutuksessa olleen sisäisen mallin testaamisen ongelmaan 28. elokuuta ja laajentaneensa työtä 1. syyskuuta jälkeen. Yhtiön kuvauksen mukaan työssä käytettiin koordinoituja agenttiryhmiä, joilla oli käytössään koodia ja välimuistiin tallennettua verkkosisältöä. Navier–Stokes-työhön osallistui noin 10 000 samanaikaisesti toimivaa agenttia. 6
Raporttien mukaan löytövaihe kesti noin 88 tuntia. Sen jälkeen GPT-6 Astra käytti noin 17 tuntia työn formalisointiin ja tarkistamiseen Leanissa. OpenAI on korostanut, että tuloksen löytämiseen käytetty sisäinen malli oli olennaisesti GPT-6 Astraa kyvykkäämpi; Astran tehtävä liittyi formalisointiin ja varmennukseen, ei välttämättä alkuperäiseen matemaattiseen oivallukseen. 6
8
Ero on olennainen. Lean-tarkistus voi antaa vahvaa näyttöä siitä, että muotoiltu lause seuraa muodolliseen järjestelmään koodatuista oletuksista. Se ei kuitenkaan yksin ratkaise, kattavatko nämä oletukset kaikki Clayn ongelmamuotoilun edellytykset. Eikä se korvaa ulkopuolista matemaattista arviota tuloksen soveltamisalasta ja tulkinnasta.
Miksi Clay ei ole myöntänyt omaa miljoonapalkintoaan
Clay Mathematics Instituten Millennium-palkinto on eri asia kuin Sunin palkinto. Clay ilmoitti 11. syyskuuta arvioivansa OpenAI:n tiedotetta omien sääntöjensä mukaisesti ja kuvasi prosessia tarkoituksella hitaaksi. 1
Clayn Millennium-palkinnon säännöt edellyttävät, että ehdotettu ratkaisu julkaistaan hyväksyttävässä julkaisukanavassa, julkaisusta kuluu vähintään kaksi vuotta ja maailmanlaajuinen matemaatikkoyhteisö hyväksyy tuloksen yleisesti ennen kuin Clay voi harkita palkintoa.
Käytännön tilanne on selvä: OpenAI on esittänyt julkisen väitteen ja julkaissut formalisointimateriaalia, mutta Clay Mathematics Institute ei ole tunnustanut sitä Millennium-palkinnon ratkaisuksi. Riippumattomien matemaatikkojen on edelleen arvioitava analyyttinen todistus, formalisointi sekä se, täyttääkö tulos ongelman olennaiset ehdot. 1
6
Mitä Justin Sunin palkinto tunnustaa
Justin Sun julkisti palkintonsa 16. syyskuuta hajautettuna akateemisena kannustinohjelmana, joka palkitsee perustutkimuksen läpimurtoja ja koneellista muodollista varmennusta. Ensimmäisellä palkintokierroksella oli mukana 66 matematiikan ongelmaa, ja OpenAI:n väitetty Navier–Stokes-tulos nimettiin miljoonan dollarin pääpalkinnon saajaksi. 3
14
Ohjelman ajatus on Clayn järjestelmää laajempi ja nopeampi: se on suunniteltu tunnustamaan koneellisesti varmennettavia todistuksia, ja se on tarkoitettu niin ihmistutkijoille, tekoälyjärjestelmille kuin ihmisen ja tekoälyn yhteistyöllekin. 4
14
Kyse on silti yksityisestä palkinnosta, jolla on omat kelpoisuussääntönsä. Se ei korvaa niitä käytäntöjä, joiden kautta matemaatikkoyhteisö ratkaisee todistuksen oikeellisuuden, ensisijaisuuden ja pysyvän merkityksen. Sunin kriteereillä saatu voitto ei velvoita Clayta tai muita tutkijoita pitämään tulosta lopullisesti ratkaistuna.
Miksi rahat jäivät lunastamatta
Palkinnon tietovarastoa koskevan uutisoinnin mukaan OpenAI oli merkitty palkintoon oikeutetuksi, mutta ei ollut lunastanut sitä. Raportit yhdistivät ratkaisun avoinna olevaan kiistaan todistuksen alkuperästä sekä siihen, ettei OpenAI ollut siinä vaiheessa pyrkinyt Clayn palkintoon. 8
9
OpenAI ei ole tässä tarkastellussa aineistossa esittänyt lopullista julkista syytä palkinnon hylkäämiselle tai lunastuksen lykkäämiselle. Varovainen tulkinta on siksi rajallinen: yksityisen palkinnon vastaanottaminen tilanteessa, jossa todistuksen rajaus, alkuperä ja ansioiden jakautuminen ovat kiistanalaisia, voisi näyttää lopullisuuden julistamiselta ennen tavanomaista ammatillista arviointia.
Kiista tekijyydestä on myös tieteellinen kysymys
New York Universityn matemaatikko Tristan Buckmaster on väittänyt, että OpenAI:n työ nojasi ei-julkiseen tutkimukseen. OpenAI kiistää väitteen. Käytettävissä oleva raportointi ei osoita, että asia olisi ratkaistu riippumattomasti. 1
20
Nature on katsonut tapauksen osoittavan, että tekoäly-yhtiöiden pitäisi tehdä tiiviimpää yhteistyötä tutkimusyhteisön kanssa tekijyyden ja ansioiden suojaamiseksi. Tekoälyavusteisessa matematiikassa järjestelmät voivat etsiä, yhdistellä ja formalisoida ideoita poikkeuksellisessa mittakaavassa, mutta yksittäisen oivalluksen alkuperää voi olla vaikea jäljittää. 17
20
Tämä ei osoita muodollisen todistuksen olevan virheellinen. Se osoittaa, että oikeellisuus ja ansioiden jakautuminen ovat eri kysymyksiä — ja molemmat ovat tärkeitä mahdollisessa läpimurrossa, joka voisi muuttaa merkittävää matematiikan alaa.
Tämänhetkinen arvio
OpenAI:n väite on poikkeuksellinen: yhtiö raportoi äärellisessä ajassa syntyvän singulaarisuuden rakenteen merkittävään Navier–Stokes-muotoiluun. Tulos löydettiin laajamittaisella agenttityönkululla, ja sen mukana julkaistiin Lean-formalisointi. 6
18
19
Sitä ei kuitenkaan pidä vielä kuvata Clay Mathematics Instituten tunnustamaksi Millennium-palkinnon ratkaisuksi. Sunin miljoonan dollarin palkinto oli raporttien mukaan lunastamatta, Clayn arviointi on erillinen ja paljon hitaampi prosessi, ja tekijyyttä koskeva kiista on ratkaisematta. 1
8
9
20
Seuraavat olennaiset virstanpylväät ovat matematiikan riippumaton vertaisarviointi, huolellinen tarkistus siitä, vastaako muodollinen väite ongelman tarkoitettuja ehtoja, sekä uskottava selvitys ensisijaisuudesta ja tekijyydestä. Siihen asti täsmällisin kuvaus on: erittäin merkittävä tekoälyn tuottama matemaattinen väite, johon liittyy koneellisesti tarkistettava osa — ei vielä lopullinen yhteisymmärryksen saavuttanut tulos.
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 "Miksi OpenAI jätti Justin Sunin miljoonapalkinnon lunastamatta?"?
OpenAI oli 17. syyskuuta 2026 mennessä merkitty Justin Sunin miljoonan dollarin Navier–Stokes palkinnon saajaksi, mutta palkinto oli yhä lunastamatta.
What are the key points to validate first?
OpenAI oli 17. syyskuuta 2026 mennessä merkitty Justin Sunin miljoonan dollarin Navier–Stokes palkinnon saajaksi, mutta palkinto oli yhä lunastamatta. Lean todistus voi tarkistaa muodollisesti määritellyn väitteen, mutta se ei yksin osoita, että väite ja oletukset vastaavat täsmälleen Millennium ongelman ehtoja tai että matemaatikkojen yhteisö hyväksyy tuloksen.
What should I do next in practice?
NYU:n matemaatikko Tristan Buckmaster on esittänyt huolia työn alkuperästä. OpenAI kiistää väitteet, eikä kiistaa ole ratkaistu riippumattomasti.
Sources
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