AnswersPublished21 sources
OpenAI veti pois kolme tekoälyn tuottamaa matematiikkakäsikirjoitusta
OpenAI veti 7. lokakuuta 2026 pois kolme käsikirjoitusta 722 työn kokoelmastaan, kun +1:n ja −1:n sekoittuminen rikkoi Weil luokkia koskevan todistuksen ja kaksi siihen tukeutunutta argumenttia.
JulkaisijaMuokattu mallilla GPT-6 LunaKuvat luotu mallilla GPT Image 2
Research answer
Key takeaways
- OpenAI veti 7. lokakuuta 2026 pois kolme käsikirjoitusta 722 työn kokoelmastaan, kun +1:n ja −1:n sekoittuminen rikkoi Weil luokkia koskevan todistuksen ja kaksi siihen tukeutunutta argumenttia.
- Päivitetty luettelo sisältää 719 käsikirjoitusta 372 aiheperheessä. OpenAI kertoi myös korjanneensa 14 käsikirjoitusta ja päivittäneensä viitteitä 13 rinnakkaistyössä.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. Topic tags: general, general web. 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 fake numbers, clic
OpenAI veti 7. lokakuuta pois kolme matematiikan käsikirjoitusta alle vuorokausi sen jälkeen, kun yhtiö oli julkaissut GitHubissa 722 sisäisen mallinsa tuottamaa käsikirjoitusta. Yhdessä työssä ollut etumerkkivirhe mitätöi keskeisen argumentin ja horjutti kahta siihen perustunutta käsikirjoitusta. Tapaus muistuttaa, että matemaattisen käsikirjoituksen julkaiseminen ei ole sama asia kuin sen väitteiden riippumaton tarkistaminen. 24
35
Mitä OpenAI julkaisi?
OpenAI julkaisi 6. lokakuuta käsikirjoituksia, jotka oli tuotettu yhtiön sisäisellä mallilla, jota ei ole julkaistu yleiseen käyttöön. GitHub-kokoelma järjestettiin 372 aiheperheeseen. Perheeseen voi kuulua päätulos, sitä täydentäviä argumentteja, seurauksia tai vaihtoehtoisia todistuksia. Työt käsittelevät muun muassa algebraa, geometriaa ja tietojenkäsittelytiedettä. 1
35
38
Perherakenne on olennainen: 722 käsikirjoitusta ei tarkoittanut 722 toisistaan riippumatonta tulosta. Osa töistä nojasi saman perheen muissa käsikirjoituksissa esitettyihin argumentteihin tai rakenteisiin. Tämä yhteys nousi keskeiseksi myös poisvetämisissä. 1
24
Etumerkkivirhe kaatoi kolme työtä
Virhe löytyi käsikirjoituksesta Algebraicity of Weil classes on split abelian eightfolds. Keskeisessä päättelyssä eräälle geometriselle operaatiolle annettiin merkki +1, vaikka käsikirjoituksen omien käytäntöjen mukaan oikea merkki oli −1. Virhe rikkoi kumoutumiseen perustuvan argumentin, jolla käsikirjoituksen rakennelmaa perusteltiin. 21
24
27
Kaksi muuta käsikirjoitusta nojasi tähän työhön: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces ja The rational Hodge conjecture for products of K3 surfaces. Kun niiden taustalla ollut argumentti ei enää pitänyt, myöskään niiden väitteitä ei voitu perustella sen avulla. OpenAI veti siksi kaikki kolme käsikirjoitusta pois. Kyse oli todistusten ongelmasta, ei siitä, että käsitellyt konjektuurit olisi osoitettu vääriksi. 21
24
35
Mitä arkistoon päivitettiin?
Lokakuun 7. päivän päivityksessä ilmoitettiin kolmen käsikirjoituksen poisvetämisestä, 14 muun käsikirjoituksen korjauksista sekä viitteiden päivityksistä 13 rinnakkaistyössä. Luettelo pieneni 722 käsikirjoituksesta 719:ään, mutta työ on yhä järjestetty 372 aiheperheeseen. 1
24
28
GitHub-arkisto ja OpenAI:n julkaisumateriaalit kertovat, että tulokset ovat eri vaiheissa tarkistamista ja että osassa voi olla virheitä. OpenAI sanoi, että työtavassa hyödynnettiin matematiikan ja tekoälyn neuvoa-antavan ryhmän kuulemista. Tämä tausta puoltaa sitä, että käsikirjoituksia pidetään arvioitavana tutkimusaineistona eikä valmiiksi vahvistettuina löydöksinä. 1
33
39
Mitä Lean-tarkistus kertoo – ja mitä ei?
Kokoelmaan sisältyy joidenkin tulosten Lean-formalisointeja. Lean on todistusavustin, jonka avulla tietokone voi tarkistaa muotoon kirjoitetun matemaattisen todistuksen. Saatavilla olevissa raporteissa formalisoitujen tulosten määrää kuitenkin lasketaan eri tavoin: yhdessä yhteenvedossa noin 300 kokoelman 719 päätuloksesta ilmoitetaan formalisoiduiksi, toisessa taas mainitaan 162 käsikirjoitusta 722:sta, joilla on päätuloksen formalisointi. Luvut koskevat eri asioita, eikä kumpikaan tarkoita, että jokainen kyseisen työn väite olisi riippumattomasti vahvistettu. 25
33
36
OpenAI:n kuulema neuvoa-antava ryhmä ja formalisoitujen todistusten olemassaolo ovat arvioinnin kannalta olennaista taustaa. Ne eivät kuitenkaan poista tarvetta tarkistaa kirjallisia argumentteja ja sitä, mitä kukin väite tarkalleen kattaa. Poisvedot havainnollistavat myös, miksi toisiinsa kytkeytyneet työt on arvioitava yhdessä: yhden yhteisen argumentin virhe voi vaikuttaa useampaan käsikirjoitukseen. 24
33
39
Johtopäätös: jäljellä olevat väitteet on yhä tarkistettava
Poisvedot osoittavat, että yksi tietty argumentti ei pitänyt ja että kaksi siihen nojannutta työtä menetti tämän perustelun. Ne eivät osoita muiden käsikirjoitusten olevan väärässä – eivätkä myöskään sitä, että niiden väitteet olisivat oikeita. Jokainen tulos on arvioitava erikseen: todistuksen, sen oletusten ja muiden töiden varaan rakentuvien riippuvuuksien perusteella. 1
21
35
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 veti pois kolme tekoälyn tuottamaa matematiikkakäsikirjoitusta"?
OpenAI veti 7. lokakuuta 2026 pois kolme käsikirjoitusta 722 työn kokoelmastaan, kun +1:n ja −1:n sekoittuminen rikkoi Weil luokkia koskevan todistuksen ja kaksi siihen tukeutunutta argumenttia.
What are the key points to validate first?
OpenAI veti 7. lokakuuta 2026 pois kolme käsikirjoitusta 722 työn kokoelmastaan, kun +1:n ja −1:n sekoittuminen rikkoi Weil luokkia koskevan todistuksen ja kaksi siihen tukeutunutta argumenttia. Päivitetty luettelo sisältää 719 käsikirjoitusta 372 aiheperheessä. OpenAI kertoi myös korjanneensa 14 käsikirjoitusta ja päivittäneensä viitteitä 13 rinnakkaistyössä.