Michael JohnsonOpenAI ilmoitti 26. lokakuuta 2026 sisäisen mallinsa kolmesta tuloksesta harmonisessa analyysissä, laskennallisen vaativuuden teoriassa ja kvanttikenttäteoriassa. Tietojenkäsittelytieteen keskeinen väite on eksponentiaalisen ajan hypoteesin (ETH) kumoaminen. Hypoteesia käytetään ehdollisten vaativuusrajojen perustana monissa tutkimuksissa. Yhtiö julkaisi käsikirjoituksen ja Lean-formalisoinnin; ulkopuolisten teoreetikkojen ryhmä järjestää tuloksen jatkotarkastelua.
OpenAI:n 26. lokakuuta julkaiseman ilmoituksen mukaan malli muotoili ETH:n kumoavan tuloksen 16. lokakuuta, ja se formalisoitiin Leanissa seuraavana päivänä. Työssä kuvataan deterministinen subeksponentiaalinen algoritmi, joka laskee tarkasti toteuttavat sijoitukset kiinteän k:n k-CNF-kaavoille. Jos tulos kestää tieteellisen arvioinnin, se vaikuttaa useiden alojen ongelmien ehdollisiin vaativuusrajoihin.
Mitä Lean tarkalleen tarkistaa
Julkaistu ETH-formalisoinnin kattavuutta koskeva muistio määrittelee koneellisen tarkistuksen rajat tarkasti: kiinteällä k:n arvolla Lean todistaa, että deterministinen kone laskee kanonisesti koodatun k-CNF-kaavan ratkaisut täsmällisesti subeksponentiaalisessa ajassa ja polynomisella tilankäytöllä. Lokakuun 25. päivältä peräisin oleva käsikirjoitus esittää vahvemman aikarajan kuin formalisoitu väite.
Muodollinen tulos koskee siis tiettyä ongelman määrittelyä, koodausta ja resurssirajoja. Lean tarkistaa todistuksen määritellyn formaalin järjestelmän sisällä; asiantuntijoiden tehtävänä on arvioida väitteen yhteyttä ETH:hon, perustelun esitystapaa ja tieteellistä uutuutta. Työn tämänhetkinen käytännön asema on näin ollen julkaistu, tarkasteltavaksi tarkoitettu ETH:n kumoamista koskeva väite, jota täydentävät formalisoitu todistus ja ulkopuolinen arviointi.
Kuka arvioi työn
OpenAI kertoi, että ETH-tuloksen arviointia ja selittämistä varten muodostettavaa ryhmää johtavat Russell Impagliazzo, Ramamohan Paturi ja Ryan Williams. Impagliazzo ja Paturi esittivät alkuperäisen hypoteesin yhdessä Francis Zanen kanssa. Tutkijoiden teoreettisen tietojenkäsittelytieteen yhteisölle lähettämässä kirjeessä ryhmän osallistuminen erotetaan tuloksen vahvistamisesta: tulos vaatii huolellista tarkastelua. OpenAI:n mukaan ryhmä pyysi avointa pääsyä lähdeaineistoihin ja rahoitusta konferenssille, jossa työn vaikutuksia voidaan käsitellä.
Toinen tulos koskee aaltoyhtälön paikallisen tasoittumisen hypoteesia. OpenAI kertoo todistaneensa sen kaikissa ulottuvuuksissa ja yhdistää tuloksen seurauksiin Kakeyan hypoteesille ja Fourier-muunnosta koskevalle Steinin hypoteesille. Yhtiö julkaisi tuloksen tekstin sekä kuvauksen sen Lean-formalisoinnin kattavuudesta. Matemaatikkojen tehtävänä on arvioida todistuksen sisältöä ja sen seurauksia.
Fysiikan tulos on toistaiseksi julkaistu eri tavalla
Fysiikassa OpenAI kertoi todistaneensa joidenkin vuorovaikuttavien kvanttikenttäteorioiden olemassaolon neljässä ulottuvuudessa. Näihin kuuluvat kvanttikromodynamiikka ja puhdas Yang–Millsin teoria. David Grossin johtama ulkopuolinen ryhmä päätti olla toistaiseksi julkaisematta mallin tuottamaa aineistoa ja valmistella oman esityksensä. Siksi lukijat eivät vielä voi tutustua avoimiin todistusaineistoihin samalla tavoin kuin ETH:ta ja paikallista tasoittumista koskeviin aineistoihin.
Väite Yang–Millsin teorian olemassaolosta liittyy Clay-instituutin Yang–Millsin teoriaa ja massarakoa koskevaan ongelmaan, mutta kyse ei ole samasta väitteestä. Clay-instituutin ongelma edellyttää sekä kvanttisen Yang–Millsin teorian olemassaolon että massaraon todistamista; instituutin mukaan tämän ominaisuuden todistusta ei vielä tunneta.
Tietojenkäsittelytieteilijöiden konkreettisin seuraava askel on verrata ETH-formalisointia siihen liittyvään käsikirjoitukseen ja riippumattoman ryhmän päätelmiin. OpenAI huomauttaa erikseen, että nopeampien algoritmien etsiminen ja teoreettisten parannusten muuttaminen käytännön hyödyiksi vaativat lisätyötä. Lokakuun 26. päivän keskeinen uutinen on kolme tieteellisiä tuloksia koskevaa väitettä, joiden aineistojen saatavuus ja arviointimenettelyt eroavat toisistaan; niiden asema tieteessä määräytyy tutkijoiden jatkoanalyysin perusteella.
