AnswersPublished25 sources
Tekoälyjen väitetyt läpimurrot matematiikassa ja tietojenkäsittelytieteessä odottavat riippumatonta tarkistusta
OpenAI julkisti 26. lokakuuta 2026 kolme tekoälyjen tuottamaa tutkimustulosta. OpenAI julkaisi matematiikkaa ja tietojenkäsittelytiedettä koskevat käsikirjoitukset Lean formalisaatioineen, mutta fysiikan aineistoa ei vielä julkistettu.
JulkaisijaMuokattu mallilla GPT-6 LunaKuvat luotu mallilla GPT Image 2
Research answer
Key takeaways
- OpenAI julkisti 26. lokakuuta 2026 kolme tekoälyjen tuottamaa tutkimustulosta.
- OpenAI julkaisi matematiikkaa ja tietojenkäsittelytiedettä koskevat käsikirjoitukset Lean formalisaatioineen, mutta fysiikan aineistoa ei vielä julkistettu.
- Väitteiden merkitys riippuu siitä, vahvistavatko ulkopuoliset asiantuntijat todistukset ja niiden tulkinnan.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI and Anthropic claim their internal AI models achieved on October 26, 2026, and how do these unreviewed claims, their signifi. Article summary: On October 26, 2026, OpenAI claimed that its internal models had produced breakthroughs in harmonic analysis, computational complexity, and quantum field theory; Anthropic announced a competing claimed refutation of the . 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 kertoi 26. lokakuuta 2026, että sen sisäiset tekoälymallit olivat tuottaneet tuloksia harmonisessa analyysissä, laskennan kompleksisuusteoriassa ja kvanttikenttäteoriassa. Tuntien kuluttua Anthropic esitti oman väitteensä eksponentiaalisen aikahypoteesin (ETH) kumoamisesta. Jos tulokset pitävät paikkansa, niiden merkitys ulottuisi tekoälyä laajemmalle – mutta tuolloin julkaistujen tietojen mukaan niitä ei ollut vielä vahvistettu riippumattomasti. 2
3
7
Mitä OpenAI väitti?
Todistus paikallisen tasoituksen konjektuurille. OpenAI:n julkisessa GitHub-repositoriossa on käsikirjoitus ja Lean-formalisaatio työlle Local smoothing for the Euclidean wave equation. Repositorion mukaan todistus osoittaa Soggen paikallisen tasoituksen konjektuurin pätevän aalloille kaikissa vähintään kaksiulotteisissa avaruuksissa. OpenAI kertoo tuloksen johtavan myös Kakeyan maksimi- ja dimensiokonjektuureihin sekä Steinin pallosymmetristen rajoitusestimaattien toteutumiseen oletetun alueen sisäosassa. 17 Erillisen raportin mukaan Sogge esitti konjektuurin vuonna 1991.
6 Väitteestä ei pidä kuitenkaan päätellä, että kaikki Steinin rajoituskonjektuurin muodot olisi ratkaistu.
ETH:n kumoaminen. OpenAI sanoi mallinsa löytäneen todistuksen ETH:n paikkansapitämättömyydestä. ETH on konjektuuri siitä, kuinka vaikeita Booleanin tyydyttävyysongelmat ovat ratkaista, ja siihen nojataan monissa tietojenkäsittelytieteen ehdollisissa tuloksissa. 13 Raporttien mukaan malli tuotti tuloksen 16. lokakuuta, ja se formalisoitiin Leanilla seuraavana päivänä.
32 OpenAI:n repositoriossa on käsikirjoitus nimeltä The Exponential Time Hypothesis is False.
17
Jos väite osoittautuu oikeaksi, se voi muuttaa sellaisten tulosten asemaa, joiden johtamisessa ETH:ta on käytetty. Alieksponentiaalinen algoritmi ei kuitenkaan automaattisesti ole polynomiaalinen: esimerkiksi 2^√n kasvaa alieksponentiaalisesti suhteessa n:ään, mutta nopeammin kuin mikään kiinteä polynomi. Siksi päteväkin 2^o(n)-aikainen algoritmi 3-SAT-ongelmalle kumoaisi ETH:n, mutta ei yksin todistaisi, että P = NP. Kysymykset liittyvät toisiinsa, mutta eivät tarkoita samaa asiaa. 13
33
Olemassaolotulos kvanttikenttäteoriassa. OpenAI väitti lisäksi esittäneensä matemaattisesti täsmällisen olemassaolotodistuksen tietyille vuorovaikuttaville neliulotteisille kvanttikenttäteorioille, myös kvanttikromodynamiikalle eli QCD:lle. 1 Julkaistut raportit kuvaavat väitettä olemassaolotulokseksi. Niiden perusteella ei ole osoitettu, että laajempi Yang–Millsin Millennium-palkinto-ongelma olisi ratkaistu – siihen kuuluu myös massaraon todistaminen.
1
16
Anthropic esitti kilpailevan ETH-väitteen
Anthropic toi pian esiin oman väitetyn ETH:n kumoamisensa. Raportin mukaan työn nimi on A 2^o(n) Time Algorithm for 3-SAT, ja sen tekijäksi mainitaan Claude. Raportissa kerrotaan myös Anthropicilla työskentelevän matemaatikon Levent Alpögen sanoneen, että algoritmin ydin löytyi 16. lokakuuta ”ilman ihmisen panosta”; tutkijat työskentelivät myöhemmin Clauden kanssa paperin esitystavan parissa. 9
33 Nämä ovat raportoitua tietoa työn synnystä, eivät riippumatonta vahvistusta todistuksen pätevyydestä.
Ajoitus herätti huomiota: raporttien mukaan molemmat yhtiöt ajoittivat ETH-tulostensa ydinlöydön samalle päivälle, 16. lokakuuta. 9
32 OpenAI:n suunniteltuun ulkopuoliseen arviointiin oli määrä osallistua Russell Impagliazzo, Ramamohan Paturi ja Ryan Williams, kertoo arviointiryhmästä julkaistu raportti.
20 Olennaista ei kuitenkaan ole se, kumpi yhtiö ehti ilmoittaa ensin, vaan se, pystyvätkö riippumattomat asiantuntijat tarkistamaan päättelyn ja sen seuraukset. Käytettävissä olleiden raporttien mukaan väitteitä ei ollut vielä arvioitu loppuun riippumattomasti.
3
5
33
Julkaisusuunnitelmat ja avoimuuskysymykset
OpenAI kuvasi tekoälyn tuottamia käsikirjoituksia ”raakaksi tutkimusaineistoksi”, jonka pohjalta ulkopuoliset tutkijat voivat rakentaa tieteellistä ymmärrystä. 2
11 Yhtiö julkaisi paikallista tasoitusta ja ETH:ta käsittelevät käsikirjoitukset sekä niiden Lean-formalisaatiot julkisessa repositoriossa.
17 Fysiikan osalta toimittiin toisin: raporttien mukaan ryhmä piti tekoälyn tuottaman aineiston toistaiseksi pois julkisuudesta valmistellessaan omaa esitystään. Työhön kytkeytyvien ulkopuolisten asiantuntijoiden joukossa mainittiin David Gross.
11
32
OpenAI:n aiempiin julkaisuihin liittyi myös avoimuutta koskevia huolia. AI Edge Briefingin kokoaman raportoinnin mukaan 719 julkaistusta käsikirjoituksesta kymmenessä oli mallin ketjuajattelua, ja luonnolliskielisten käsikirjoitusten sekä formaalien todistusten yhdistämiseen pyydetyt koneellisesti luettavat metatiedot puuttuivat. 18 Tämä on taustaa julkaisukäytäntöjen arvioinnille, mutta ei yksinään vahvista kaikkia 26. lokakuuta julkistettuja tuloksia koskevia vastaväitteitä.
Keskeinen ero on huomiota herättävän tutkimusväitteen ja varmennetun tuloksen välillä. OpenAI julkaisi kaksi matemaattista väitettä tarkasteltavaksi käsikirjoituksineen ja Lean-aineistoineen, kun taas fysiikan aineisto pysyi raportoidussa arviointivaiheessa julkaisematta. Anthropic puolestaan esitti kilpailevan ETH-väitteen ja kuvauksen mallinsa roolista. Ennen kuin ulkopuoliset asiantuntijat ovat voineet tutkia todistukset ja vahvistaa, mitä ne osoittavat, kummankaan yhtiön ilmoitusta ei pidä pitää vakiintuneena tieteellisenä löytönä. 3
11
17
33
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 "Tekoälyjen väitetyt läpimurrot matematiikassa ja tietojenkäsittelytieteessä odottavat riippumatonta tarkistusta"?
OpenAI julkisti 26. lokakuuta 2026 kolme tekoälyjen tuottamaa tutkimustulosta.
What are the key points to validate first?
OpenAI julkisti 26. lokakuuta 2026 kolme tekoälyjen tuottamaa tutkimustulosta. OpenAI julkaisi matematiikkaa ja tietojenkäsittelytiedettä koskevat käsikirjoitukset Lean formalisaatioineen, mutta fysiikan aineistoa ei vielä julkistettu.
What should I do next in practice?
Väitteiden merkitys riippuu siitä, vahvistavatko ulkopuoliset asiantuntijat todistukset ja niiden tulkinnan.