Dette er en av de sakene der det er verdt å stoppe opp litt.

Jacobian Conjecture er ikke et obskurt nisjehjørne av matematikken. Det er et problem som ble formulert i 1939, som har overlevd generasjoner av verdens beste matematikere, og som dukker opp på listen over store uløste problemer i algebraisk geometri. Påstanden, grovt sagt, handler om når polynomavbildninger i flere variabler er inverterbare — og den har trosset bevis og motbevis i nesten ni tiår.

Nå rapporterer matematiker Levent Alpöge at han brukte Anthropics nyeste modell, Claude Fable 5, til å finne et konkret moteksempel. Med andre ord: conjecturet er ikke sant.

Det er ikke AI som løser matte alene — det er AI som ser et mønster i et søkerom mennesker aldri rakk å utforske.

Dette er et viktig poeng. Andrew Blumberg ved Columbia har allerede kommentert at dette er «nøyaktig den typen ting» AI forventes å bidra med — finne kompakte moteksempler i enorme søkerom der menneskelig intuisjon ikke strekker til. Det er ikke snakk om at modellen «forstår» matematikk på samme måte som en forsker, men at den kan navigere et gigantisk parameterrom raskt og systematisk.

Konteksten gjør det enda mer interessant: Claude Opus 4.5 scoret under 10 % på FrontierMath Tier 4 tidligere i 2026. Fable 5 scorer 88 %. Det er ikke en gradvis forbedring — det er et kvantesprang på måneder.

AI knuser 90 år gammelt matematisk problem ingen klarte å løse - Bilde 1

På HN-tråden diskuteres det nå heftig om dette faktisk holder vann matematisk, hva det betyr for formell verifikasjon, og om Lean/Coq bør brukes til å sjekke resultatet uavhengig. Det er den riktige samtalen å ha. Community-konsensus virker forsiktig optimistisk, men ingen har avfeid det som tull ennå.

Det er verdt å merke seg at dette er et early signal basert på community-kilder og ikke-fagfellevurdert materiale per nå. Men reaksjonene fra navngitte matematikere med troverdige institusjonstilknytninger gir dette mer tyngde enn de fleste slike påstander.

Hvis dette holder, er det ikke bare en teknisk milepæl. Det er et signal om at AI-assistert matematikk er i ferd med å flytte seg fra «nyttig verktøy» til «medoppdager» — og at tempoet på denne overgangen er raskere enn de fleste hadde regnet med.

Følg med på HN-tråden og hold øye med om Alpöge legger ut en preprint.