OpenAI: KI-modellen vår har motbevist en av informatikkens store antakelser

OpenAI sier at selskapets interne KI-modeller har motbevist Exponential Time Hypothesis (ETH), en av de mest brukte antakelsene i teoretisk informatikk. I samme kunngjøring hevder selskapet at modellene har bevist en 35 år gammel formodning i matematisk analyse og laget et matematisk eksistensbevis for kvantekromodynamikk, som også berører et av Clay-instituttets millennium-problemer. Ingen av resultatene er ennå gjennomgått av uavhengige fagfeller.

OpenAI publiserte kunngjøringen mandag 26. oktober. Resultatene skal nå granskes av eksterne forskergrupper, ledet av blant andre forskerne som opprinnelig formulerte ETH.

Hva OpenAI hevder

ETH er en formodning om hvor raskt datamaskiner kan avgjøre om en logisk formel kan gjøres sann, det såkalte SAT-problemet. Problemet er nært knyttet til det berømte P mot NP-spørsmålet. Ifølge OpenAI har ETH vært brukt i hundrevis av forskningsartikler for å vise at oppgaver innen grafteori, beregningsbiologi, databaser og beregningsgeometri ikke kan løses vesentlig raskere.

«Surprisingly, our system has recently proved that the ETH is false», skriver OpenAI. Selskapet oppgir at modellen fant motbeviset 16. oktober, og at det ble formelt verifisert i bevisverktøyet Lean dagen etter. OpenAI har lagt ut både modellens tekstlige bevis og Lean-beviset i sitt offentlige GitHub-arkiv.

OpenAI-forsker Sébastien Bubeck skriver på X at resultatet gir 3SAT i subeksponentiell tid, og kaller det «maybe the biggest surprise I have seen» på 20 år med teoretisk informatikk.

Eksperter skal kontrollere

Motbeviset skal gjennomgås av en gruppe ledet av Russell Impagliazzo og Ramamohan Paturi fra UC San Diego og Ryan Williams fra MIT. Impagliazzo og Paturi foreslo selve hypotesen sammen med Francis Zane. Gruppen har bedt om at alle rådata gjøres offentlige, og at OpenAI finansierer en konferanse om konsekvensene. OpenAI skriver at selskapet har gått med på begge deler.

Det matematiske resultatet gjelder Sogges formodning om lokal glatting fra 1991. OpenAI sier modellene beviste den i alle dimensjoner, og at det dermed også løser Kakeya-formodningen og Steins restriksjonsformodning. Fysikkresultatet er et eksistensbevis for blant annet kvantekromodynamikk og ren Yang–Mills-teori. Det arbeidet skal ledes av nobelprisvinner David Gross, og gruppen har bestemt at materialet ikke publiseres før de selv har skrevet det ut.

OpenAI ber ikke om akademisk kreditt for funnene, og deltakerne i gruppene jobber frivillig og ulønnet uten taushetserklæring.

Hva det betyr, og hva det ikke betyr

OpenAI er tydelig på at et teoretisk gjennombrudd ikke betyr raskere programvare i morgen. Å finne slike algoritmer og gjøre teori om til praktiske forbedringer «will require significant further research», skriver selskapet. Kunngjøringen sier ingenting om konsekvenser for kryptering eller sikkerhet.

For ledere er hovedpoenget et annet: Hvis resultatene holder, har KI-modeller gått fra å løse kjente oppgaver til å velte antakelser som forskere har bygget på i tiår. Det reiser spørsmål OpenAI selv peker på, om verifisering, tilgang og hvem som får æren når en maskin står bak oppdagelsen.

To forbehold er viktige. Modellene som produserte resultatene er interne og ikke tilgjengelige for kunder. Og påstandene er ikke uavhengig bekreftet ennå, selv om Lean-verifisering gjør dem langt lettere å kontrollere enn vanlige bevis.

OpenAI kobler arbeidet til et bidrag på 5 millioner dollar til Simons Foundation, som skal finansiere workshoper og konferanser der forskere kan forstå og bygge videre på resultater fra KI.

Kilder og medier

• OpenAI: Working with academic communities to build scientific understanding
• Dan Roberts (OpenAI) på X: kunngjøring av de tre oppdagelsene
• Sébastien Bubeck (OpenAI) på X om 3SAT-resultatet

Kilde: OpenAI. Kunngjøringen er datert 26. oktober 2026. Dan Roberts' innlegg på X ble publisert 26. oktober klokka 22.36 norsk tid. Kildene ble lest av hogby.ai 27. oktober 2026.

Illustrasjon: KI-generert med Grok Bot / hogby.ai