AnswersPublished15 sources
722 tekoälyn tuottamaa matikkakäsikirjoitusta eivät vielä tarkoita 722 vahvistettua tulosta
OpenAI julkaisi 6. lokakuuta 2026 yhteensä 722 käsikirjoitusta, jotka on koottu 372 tulosperheeseen. OpenAI kertoo, että tuloksen tuottamiseen kului keskimäärin noin kolme tuntia laskentaa.
JulkaisijaMuokattu mallilla GPT-6 LunaKuvat luotu mallilla GPT Image 2
Research answer
Key takeaways
- OpenAI julkaisi 6. lokakuuta 2026 yhteensä 722 käsikirjoitusta, jotka on koottu 372 tulosperheeseen.
- OpenAI kertoo, että tuloksen tuottamiseen kului keskimäärin noin kolme tuntia laskentaa.
- Lean voi tarkistaa sille muotoillun todistuksen, mutta tutkijoiden on lisäksi varmistettava, että koodi todistaa saman väitteen kuin käsikirjoitus.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What does the scrutiny of OpenAI’s October 6 release of 722 AI-generated mathematical manuscripts in 372 result families reveal about the re. Article summary: The scrutiny shows both the promise and the verification bottleneck of AI-assisted mathematics: an unreleased model can produce substantial work quickly, but a computer-checked proof does not automatically validate the s. Topic tags: general, academic, general web, user generated, education. 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, water
OpenAI julkaisi 6. lokakuuta 2026 kokoelman, jossa on 722 matemaattista käsikirjoitusta 372 tulosperheenä. Julkaisu kertoo tekoälyavusteisen tutkimuksen mittakaavasta, mutta nostaa esiin myös olennaisen tarkistuskysymyksen: tietokone voi varmistaa muodollistetun todistuksen, mutta tutkijoiden on silti selvitettävä, vastaako todistuksen koodiin kirjoitettu väite käsikirjoituksessa esitettyä tulosta. Kokoelma on arvioitavaa tutkimustyötä – ei 722 erikseen vahvistettua läpimurtoa. 12
7
Käsikirjoitusten määrä ei kerro, mitkä tulokset kestävät tarkastelun
OpenAI kertoo, että työt tuotti yhtiön sisäinen, julkistamaton malli. Yhtiön mukaan mallille annettiin arvioinnissa noin 4 000 ongelmaa ja kunkin tuloksen tuottamiseen kului keskimäärin noin kolme tuntia laskentaa. Luvut kuvaavat työn laajuutta ja yhtiön raportoimaa laskentapanosta, eivät yksin todista yksittäisten tulosten oikeellisuutta tai merkitystä. 1
3
7
Käsikirjoitukset on lisäksi koottu tulosperheiksi, joten 722:ta ei pidä tulkita 722 erilliseksi, riippumattomasti tarkistetuksi löydöksi. Jokainen väite on arvioitava sen oman todistuksen ja matemaattisen tarkastelun perusteella. 7
12
Navier–Stokes-esimerkissä ratkaisevaa on, mitä todistus todella väittää
OpenAI:n aiempaan Navier–Stokes-työhön liittyvässä arvostelussa huomio kohdistui lemmaan 8.6. Ihmiselle kirjoitetussa käsikirjoituksessa eräs arvio esitetään niin, että oletuksena on säännöllisyys aina derivaattoihin asti m + 4. Vastaavassa Lean-muotoilussa edellytys ulottuu m + 5:een. Yhden lisäderivaatan vaatiminen tekee arviosta heikomman: se pätee vain vahvemmalla oletuksella eikä sellaisenaan varmista käsikirjoituksessa esitettyä väitettä. 2
Ero ei yksin osoita kumpaakaan versiota virheelliseksi eikä ratkaise koko tuloksen pätevyyttä. Se kuitenkin tarkoittaa, ettei onnistunutta Lean-tarkistusta voi pitää todisteena siitä, että vahvempi, tekstissä esitetty väite on tarkistettu. Arvioijien on verrattava, mitä artikkeli sanoo, siihen mitä muodollinen koodi todella määrittelee. 2
Tämä on yleinen muodollisen todentamisen periaate: todistusavustin tarkistaa sille kirjoitetun väitteen. Se ei itsessään takaa, että väite on siirretty artikkelista koodiin oikein. Ero antaa syyn tutkia työtä tarkemmin, mutta ei todista, että väitettä olisi tarkoituksella heikennetty tai että kaikissa tekoälyn tuottamissa todistuksissa olisi sama ongelma. 2
Todistuksen tuottaminen voi olla nopeaa, tarkistaminen ei
OpenAI ilmoittaa laskentaa kuluneen tulosta kohti keskimäärin noin kolme tuntia. Aiemmasta Navier–Stokes-työstä puolestaan on raportoitu, että agentit työskentelivät noin 88 tuntia. Kyse on eri hankkeista, eivätkä laskenta-ajat kerro, kuinka kauan riippumattomilta matemaatikoilta kuluu tulosten tarkistamiseen. 1
3
7
Aiemman Navier–Stokes-todistuksen tutkimiseen kerrotaan kuluneen tutkijaryhmältä noin kaksi viikkoa. Kyse ei ollut lokakuun 6. päivänä julkaistun käsikirjoituskokoelman kahden viikon arvioinnista: kokoelma oli tuolloin juuri tullut julki. Käsikirjoituksen tuottaminen ja sen matematiikan riippumaton tarkistaminen ovat eri työvaiheita, ja näin laaja julkaisu merkitsee huomattavaa tarkistustyötä. 2
Lean auttaa, mutta ei vastaa kaikkiin kysymyksiin
Lean-muotoilun avulla todistuksen koodiin kirjoitetut loogiset vaiheet voidaan tarkistaa ohjelmallisesti. OpenAI:n kokoelmassa tulokset ovat kuitenkin eri tarkistusvaiheissa, eikä kaikissa käsikirjoituksissa ole Lean-muotoilua. Yhtiö kertoo jatkavansa muodollistusten lisäämistä. 7
12
Vaikka muodollinen koodi olisi saatavilla ja tarkistus menisi läpi, on yhä kysyttävä, todistaako se saman väitteen kuin käsikirjoitus ja onko tulos matemaattisesti merkityksellinen. Myös yhteys aiempaan tutkimukseen vaatii ihmisen arviota; pelkkä onnistunut muodollinen tarkistus ei ratkaise näitä kysymyksiä. 2
7
Mitä julkaisusta kannattaa päätellä?
Kokoelma on näyttöä tekoälyn kyvystä tuottaa matemaattista työtä suuressa mittakaavassa, ei korvike tutkijoiden tekemälle arvioinnille. Tuloksia kannattaa tarkastella yksi kerrallaan: selvittää, mitä täsmälleen väitetään, verrata käsikirjoituksen todistusta mahdolliseen muodollistukseen ja erottaa tietokoneella tarkistettu väite matemaatikkojen riippumattomasti vahvistamasta tuloksesta. 2
7
12
Lemman 8.6 ero havainnollistaa, miksi näiden asioiden erottaminen on tärkeää. Tekoäly voi nopeuttaa tutkimusta, mutta luottamus rakentuu täsmällisistä väitteistä ja huolellisesta tarkistamisesta – ei yksin käsikirjoitusten määrästä tai laskenta-ajasta.
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 "722 tekoälyn tuottamaa matikkakäsikirjoitusta eivät vielä tarkoita 722 vahvistettua tulosta"?
OpenAI julkaisi 6. lokakuuta 2026 yhteensä 722 käsikirjoitusta, jotka on koottu 372 tulosperheeseen.
What are the key points to validate first?
OpenAI julkaisi 6. lokakuuta 2026 yhteensä 722 käsikirjoitusta, jotka on koottu 372 tulosperheeseen. OpenAI kertoo, että tuloksen tuottamiseen kului keskimäärin noin kolme tuntia laskentaa.
What should I do next in practice?
Lean voi tarkistaa sille muotoillun todistuksen, mutta tutkijoiden on lisäksi varmistettava, että koodi todistaa saman väitteen kuin käsikirjoitus.