KI knekker ren matematikk: To gjennombrudd i 2026 viser at maskiner kan oppdage ny matematikk

Anthropics Claude Fable 5 finner et moteksempel til Jacobi-formodningen (juli 2026)

Den 19. juli 2026 kunngjorde matematikeren Levent Alpöge, en forsker ved Anthropic, på X at han ved hjelp av Anthropics Claude Fable 5-modell hadde funnet et moteksempel til Jacobi-formodningen – et 87 år gammelt åpent problem i algebraisk geometri, først stilt av Ott-Heinrich Keller i 1939 . Formodningen, rangert som #16 på Fieldsmedaljevinner Stephen Smales liste fra 1998 over problemer for det neste århundret, hevdet at et polynomavbildning fra C^n til C^n med en konstant, ikke-null Jacobi-determinant må være globalt inverterbar .

Moteksemplet er en bemerkelsesverdig kompakt 216-tegns polynomavbildning fra C³ til C³ med en Jacobi-determinant som er identisk lik -2, men som likevel sender tre distinkte input-tripler til samme output, noe som tilbakeviser global inverterbarhet . I løpet av timer etter Alpöges innlegg verifiserte matematikere verden over resultatet uavhengig av hverandre, og en formell verifikasjon i Lean-bevisassistenten var fullført på under 24 timer .

Fremtredende matematikere som Terence Tao og Timothy Gowers roste resultatet . Tao publiserte en geometrisk analyse av moteksemplet, og verifikasjonen ble bredt bekreftet i det matematiske miljøet . To-dimensjonsversjonen av formodningen er fortsatt uløst .

Hva disse resultatene betyr for matematikkens fremtid

KI kan nå generere genuint nye bevis

Begge gjennombruddene involverer dype konseptuelle sprang, ikke bare datastøtte. Tilbakevisningen av enhetsavstandsformodningen krevde at KI-en koblet algebraisk tallteori til kombinatorisk geometri – en forbindelse ingen menneskelig matematiker hadde gjort . Moteksemplet til Jacobi-formodningen krevde å konstruere en subtil polynomavbildning med spesifikke algebraiske egenskaper .

Menneske–KI-partnerskapsmodellen viser seg å være kraftfull

Disse resultatene peker mot en fremtid der KI fungerer som en kreativ samarbeidspartner snarere enn en erstatning. I Jacobi-tilfellet dirigerte en dyktig matematiker KI-en og anerkjente betydningen av dens output . I OpenAI-tilfellet jobbet modellen mer autonomt, men krevde fortsatt menneskelig verifikasjon . Denne partnerskapsmodellen lar KI utforske enorme søkerom som mennesker ikke effektivt kan traversere, mens mennesker tilbyr intuisjon, dømmekraft og verifikasjon.

Tempoet akselererer raskt

OpenAI kunngjorde senere i august 2026 at den samme klassen av interne resonneringsmodeller hadde produsert fremskritt på 10 store problemer i matematikk og teoretisk informatikk, som spenner over høy-dimensjonal geometri, kodeteori, gruppeteori, operatoralgebraer, kvantekompleksitet, gitterkryptografi og ekstremal kombinatorikk . Observatører har beskrevet en "ny gullalder" for matematikk drevet av KI .

Viktige forbehold gjenstår

Moteksemplet til Jacobi-formodningen gjelder kun i dimensjon 3 og høyere – den opprinnelige formodningen er fortsatt uløst i dimensjon 2 . Noen resultater har ikke gjennomgått full fagfellevurdering gjennom tradisjonelle kanaler, og ikke alle påstander er fullt publisert . Men den overordnede retningen er klar: KI har krysset en terskel fra matematisk assistent til matematisk oppdager, og dens rolle i forskning vil sannsynligvis ekspandere raskt.

Det store bildet

Disse gjennombruddene i 2026 følger en rask progresjon i KIs matematiske evner. I juli 2025 løste KI-modeller først fem av seks problemer ved den internasjonale matematikkolympiaden . Tidlig i 2026 oppnådde modeller gullmedaljestandard ved IMO . Nå produserer KI resultater ved forskningsfronten – og løser problemer som definerte hele karrierer.

Som matematikeren Terence Tao bemerket, representerer Jacobi-resultatet en milepæl i samarbeidet mellom menneske og KI . Modellen jobbet ikke alene, men partnerskapet produserte et resultat som verken menneske eller maskin kunne ha oppnådd uavhengig. Den modellen – menneskelig intuisjon guidet av KI-utforskning, verifisert av formelle bevisassistenter – kan komme til å definere fremtiden for matematisk oppdagelse.