Smid kridtet, sluk for tavlen og tag en dyb indånding. En af matematikkens helt store, uindtagelige fæstninger er netop faldet – og det var ikke et menneskeligt geni med uglet hår og kaffeånde, der knækkede koden. Det var en kunstig intelligens fra AI-selskabet Anthropic.
I årtier har verdens skarpeste hjerner – herunder vindere af den prestigefyldte Fields-medalje – kæmpet med en central hypotese inden for den såkaldte *perkolationsteori*. Få dage efter at den franske stjernematematiker Hugo Duminil-Copin profetisk forudsagde, at AI snart ville overhale mennesket på netop dette problem, smed Anthropic et komplet, maskintjekket bevis på bordet.
### Når kaffen siver igennem – i ti dimensioner
For de af os, der ikke drømmer i algebraiske ligninger: Hvad går perkolationsteori egentlig ud på?
Kort fortalt handler det om, hvordan tilfældige netværk hænger sammen, og hvornår små isolerede øer pludselig smelter sammen til et gigantisk, uendeligt netværk. Tænk på det som vand, der siver igennem kaffebønner i en tragt – hvornår opstår den perfekte gennemstrømning?
I matematikkens abstrakte verden handler det dog ikke om filterkaffe, men om gitterstrukturer i 3 til 10 dimensioner. Hypotesen gik på, om overgangen fra begrænset til uendelig forbundethed sker glidende (kontinuerligt) eller i et pludseligt ryk. Matematikerne har haft en stærk mavefornemmelse i årevis, men ingen har kunnet bevise det. Lige indtil Anthropics model trådte til og beviste, at overgangen vitterligt er kontinuerlig.
### Slut med matematiske hallucinationer: Beviset holder vand
Det mest opsigtsvækkende ved gennembruddet er ikke bare, at AI’en fandt svaret, men *hvordan* den leverede det. Vi ved alle, at sprogmodeller til tider kan opdigte fakta med en overbevisende mine. Men her er der ikke plads til slinger i valsen.
Beviset blev nemlig formaliseret og verificeret i **Lean** – et avanceret computersystem, der fungerer som en benhård dommer og tjekker hvert eneste logiske skridt linje for linje. Selvom beviset stadig afventer bredere gennemlæsning af det menneskelige forskersamfund, betyder Lean-verificeringen, at risikoen for skjulte regnefejl er barberet helt ned til et absolut minimum.
### Jubel, måben og en snert af eksistentiel krise
Nyheden har skabt en bølge af blandede følelser på de matematiske institutter verden over. På den ene side er der vild begejstring over, at en af fagets “hellige graler” endelig er løst. På den anden side breder der sig en let melankolsk stemning og eksistentiel kaffepause-snak: Hvad skal vi egentlig bruge professorerne til, hvis algoritmerne bare snupper de største opdagelser for næsen af dem?
Spørgsmålet om hæder og fremtidige priser blafrer nu i vinden. Kan en serverpark modtage en Fields-medalje, eller må forskerne nøjes med rollen som glorificerede korrekturlæsere for maskinerne?
### En ny æra for ren matematik
Gennembruddet hos Anthropic står ikke alene, men tegner konturerne af en voldsom trend. For nylig rapporterede *Nature*, hvordan AI med succes har kastet sig over klassiske gåder som Erdős-problem #1196, og OpenAI har ligeledes meldt om markante fremskridt inden for de berygtede Navier-Stokes-ligninger.
AI er gået fra at skrive halvsløje digte og generere billeder af katte i rumdragter til at løse de dybeste gåder om universets logiske byggesten. Hvis du kender en matematiker, er det nok et godt tidspunkt at give vedkommende et trøstende klap på skulderen – og måske en god kop perkoleret kaffe.
