AI knækker koden til ren matematik: To gennembrud i 2026 viser, at maskiner nu kan opdage ny matematik

I 2026 krydsede kunstig intelligens en historisk tærskel i ren matematik. For første gang producerede AI-systemer uafhængigt store resultater om åbne problemer, der havde modstået menneskelige matematikere i årtier. To gennembrud skiller sig ud: OpenAIs tilbagevisning af Erdős' enhedsafstands-formodning i maj og Anthropics modeksempel til Jacobi-formodningen i juli. Disse er ikke blot små skridt – de er paradigmeskift, der signalerer en ny æra for menneske-AI-samarbejde i matematisk forskning.

De to gennembrud

OpenAI tilbageviser Erdős' enhedsafstands-formodning (maj 2026)

Den 20. maj 2026 annoncerede OpenAI, at en af deres interne generelle ræsonnementsmodeller havde produceret et modeksempel til Erdős' enhedsafstands-formodning, et problem stillet af Paul Erdős i 1946 . Formodningen handlede om det maksimale antal punktpar, der kan være præcis én enhed fra hinanden blandt n punkter i planet. I 80 år troede matematikere, at den bedst mulige konfiguration lignede et kvadratisk gitter .

OpenAI-modellen viste, at denne tro var forkert. Den genererede en uendelig familie af punktkonstruktioner, der opnår en polynomiel forbedring i forhold til gitteret – hvilket beviser, at for uendeligt mange n vokser antallet af enhedsafstandspar hurtigere end n^(1+δ) for en fast δ > 0 . Beviset trak på sofistikeret algebraisk talteori, herunder Golod-Shafarevich-teori og uendelige klassekropstårne – værktøjer, som ingen tidligere havde forbundet med dette geometriske problem .

Resultatet blev verificeret af en gruppe eksterne matematikere, herunder Thomas Bloom – den samme forsker, der tidligere havde afsløret en falsk påstand fra OpenAI . Et menneskeligt fordøjet følgepapir blev offentliggjort på arXiv . Princeton-matematikeren Will Sawin forfinede hurtigt konstanten og viste, at eksponenten mindst kunne være n^1.014 . Fields-medaljevinderen Tim Gowers var blandt de ni eksterne matematikere, der verificerede beviset .

Anthropics Claude Fable 5 finder et modeksempel til Jacobi-formodningen (juli 2026)

Den 19. juli 2026 annoncerede matematikeren Levent Alpöge, en forsker hos Anthropic, på X, at han havde brugt Anthropics Claude Fable 5-model til at finde et modeksempel til Jacobi-formodningen – et 87 år gammelt åbent problem i algebraisk geometri, først stillet af Ott-Heinrich Keller i 1939 . Formodningen, der blev rangeret som #16 på Fields-medaljevinderen Stephen Smales liste over problemer for det næste århundrede fra 1998, hævdede, at et polynomielt afbildning fra C^n til C^n med en konstant, ikke-nul Jacobi-determinant må være globalt invertérbar .

Modeksemplet er en bemærkelsesværdig kort 216-tegns polynomiel afbildning fra C³ til C³ med en Jacobi-determinant identisk lig med -2, som alligevel sender tre forskellige input-tripler til det samme output, hvilket modbeviser global invertérbarhed . Inden for timer efter Alpöges opslag verificerede matematikere verden over uafhængigt resultatet, og en formel verifikation i Lean-bevisassistenten blev gennemført på under 24 timer .

Fremtrædende matematikere, herunder Terence Tao og Timothy Gowers, roste resultatet . Tao publicerede en geometrisk analyse af modeksemplet, og verifikationen blev bredt bekræftet i det matematiske samfund . Den todimensionelle version af formodningen er stadig åben .

Hvad disse resultater betyder for matematikkens fremtid

AI kan nu generere virkelig nye beviser

Begge gennembrud involverer dybe konceptuelle spring, ikke blot beregningsmæssig assistance. Tilbagevisningen af enhedsafstands-formodningen krævede, at AI'en forbandt algebraisk talteori med kombinatorisk geometri – en forbindelse, ingen menneskelig matematiker havde skabt . Jacobi-modeksemplet krævede konstruktion af en subtil polynomiel afbildning med specifikke algebraiske egenskaber .

Modellen for menneske-AI-partnerskab viser sig at være kraftfuld

Disse resultater peger mod en fremtid, hvor AI fungerer som en kreativ samarbejdspartner snarere end en erstatning. I Jacobi-tilfældet styrede en dygtig matematiker AI'en og genkendte betydningen af dens output . I OpenAI-tilfældet arbejdede modellen mere autonomt, men krævede stadig menneskelig verifikation . Denne partnerskabsmodel gør det muligt for AI at udforske enorme søgerum, som mennesker ikke effektivt kan gennemgå, mens mennesker leverer intuition, dømmekraft og verifikation.

Tempoet accelererer hurtigt

OpenAI annoncerede senere i august 2026, at den samme klasse af interne ræsonnementsmodeller havde produceret fremskridt inden for 10 store problemer i matematik og teoretisk datalogi, der spænder over højdimensionel geometri, kodningsteori, gruppeteori, operatoralgebraer, kvantekompleksitet, gitterkryptografi og ekstremal kombinatorik . Observatører har beskrevet en "ny guldalder" for matematik drevet af AI .

Vigtige forbehold består

Jacobi-modeksemplet gælder kun i dimension 3 og derover – den oprindelige formodning er stadig åben i dimension 2 . Nogle resultater har endnu ikke gennemgået fuld fagfællebedømmelse gennem traditionelle kanaler, og ikke alle påstande er fuldt publicerede . Men den overordnede retning er klar: AI har krydset en tærskel fra matematisk assistent til matematisk opdager, og dens rolle i forskning vil sandsynligvis ekspandere hurtigt.

Det større billede

Disse gennembrud i 2026 følger en hurtig progression i AI's matematiske evner. I juli 2025 løste AI-modeller først fem af seks problemer ved den Internationale Matematikolympiade . I begyndelsen af 2026 opnåede modeller guldmedaljestandard ved IMO . Nu producerer AI resultater på forskningsfronten – og løser problemer, der definerede hele karrierer.

Som matematikeren Terence Tao bemærkede, repræsenterer Jacobi-resultatet en milepæl i menneske-AI-samarbejde . Modellen arbejdede ikke alene, men partnerskabet producerede et resultat, som hverken menneske eller maskine kunne have opnået uafhængigt. Den model – menneskelig intuition guidet af AI-udforskning, verificeret af formelle bevisassistenter – kan definere fremtiden for matematisk opdagelse.