Da studerende slog eksperterne

Her er en historie, der fik mig til at stoppe op: I årtier troede matematikere, at en berømt formodning om at vende matematiske funktioner var korrekt. De kunne bare ikke bevise det.

Så en dag brugte nogen en AI til at lede efter et modeksempel — og fandt et, der var kort nok til at kunne være i en tweet.

Den historie fortjener lidt opmærksomhed.

Levent Alpöge fra Anthropic (selskabet bag AI'en Claude) offentliggjorde for nylig på X, at han havde brugt Claude Fable 5 til at finde et modeksempel til Jacobian-formodningen. Og med "fandt" mener jeg, at han bogstaveligt opdagede et bevis på, at formodningen er forkert — i hvert fald i visse dimensioner.

Men vent — det er ikke bare endnu en "AI gør noget sejt"-historie. Der er noget næsten poetisk over, hvordan det hele udspillede sig.

Hvad i alverden er Jacobian-formodningen?

Lad mig prøve at forklare det på en måde, der giver mening. Wikipedia-definitionen får mit hoved til at snurre.

Tænk på en funktion som en maskine: du putter tal ind, og den spyttede andre tal ud efter en bestemt regel. Jacobian-formodningen handler om, hvorvidt du altid kan vende den proces om — altså om der altid findes en omvendt funktion, der kan udligne det, den første funktion gjorde.

Forestil dig det som et puslespil: hvis din funktion flytter punkter rundt i rummet, siger formodningen, at så længe funktionen ikke "folder" rummet på en bestemt måde (matematikere måler dette med noget, der hedder "Jacobian-determinanten"), burde du altid kunne finde en omvendt funktion.

Det lyder rimeligt, ikke?

Problemet er, at ingen nogensinde har kunnet bevise, at det altid holder. Indtil nu.

twist: Enkelt som aldrig før

Det, der virkelig får matematikerne til at snakke, er at modeksemplet Alpöge fandt er bitte småt. Næsten pinligt enkelt. Det kan være i en enkelt post på sociale medier.

Udfordringen ved at finde et modeksempel er, at du skal konstruere en meget specifik type funktion — en der hverken folder rummet OG alligevel ikke kan vendes. Det lyder modsatrettet, men underligt nok kan de to krav sameksistere i visse dimensioner.

Og her kommer det sjove: eksperterne troede, at sådanne eksempler enten ikke eksisterede eller ville være uhyre komplekse. I stedet fandt Claude noget så kort og elegant, at en bruger på Math Stack Exchange for år tilbage bemærkede, at "en smart studerende simpelt hen kunne skrive en formel", der ville bryde det hele.

Det viste sig, at brugeren havde ret. Formlen er så kort, at andre matematikere verificerede den nærmest øjeblikkeligt, efter Alpöge delte den.

Hvorfor skulle du bekymre dig?

Jeg ved godt, hvad du tænker: "Fedt, en eller anden matematisk ting, der sandsynligvis ikke påvirker mit liv."

Fair nok. Men her er min pointe: historien handler ikke rigtig om matematikken. Den handler om, hvad den repræsenterer.

Vi lever i en tid, hvor AI er ved at blive en reel partner i menneskelig kreativitet og opdagelse — ikke bare et værktøj, der udfører snævre opgaver, men noget der faktisk kan hjælpe os med at tænke på nye måder. At en AI-model udgivet for bare et par uger siden kunne hjælpe med at løse et problem, der er næsten 90 år gammelt? Det er bemærkelsesværdigt.

Det følger også et mønster, vi ser mere og mere: AI leverer ægte bidrag til felter, der før virkedeimmune over for automatisering. Matematikere, fysikere, programmører — det var ikke erhverv, folk forventede ville blive "disruptet" af AI. Men her er vi.

Den oprindelige todimensionelle version af formodningen (fra 1884!) er stadig ikke løst, forøvrigt. Så der er stadig arbejde at gøre. Men for dimensioner tre og opefter? Afgjort sag.

Det store billede

Det, jeg finder mest interessant, er, hvad dette fortæller os om intuition i matematik. I årtier troede eksperterne, at Jacobian-formodningen sandsynligvis var sand. De byggede karrierer på den tro. Og nu har en hurtig søgning fra en AI vist, at den intuition var forkert — i hvert fald for højere dimensioner.

Der er en lektion i det: selv brillante mennesker kan overse noget oplagt, når de leder i den forkerte retning. Måske har man bare brug for et friskt blik — eller et friskt sæt neurale netværk — til at pege på det, der ligger lige foran alle.

Uanset hvad du mener om AI, tror jeg, vi alle kan blive enige om: det er mærkelige og spændende tider at være i live.

Kilde: ScienceDaily