Anthropic-model flytter grænsen for løsninger til Riemann-hypotesen

En ikke-udgivet AI-model fra Anthropic har bevist Riemann-hypotesen ved hjælp af 60 under-agenter, som er små specialiserede programmer. Dette er vigtigt, da gåden om primtallenes fordeling har været uløst i over 150 år. Resultatet er nu bekræftet af eksperter, hvilket skaber både begejstring og bekymring i matematikmiljøet.

Forestil dig et af matematikkens største mysterier, der har været uløst i over 150 år. Det kaldes Riemann-hypotesen og handler om, hvordan primtal er fordelt. Primtal er tal, som kun kan deles med sig selv og 1. Der er i dag en dusør på 1 million dollars til den, der kan bevise det. En ikke-udgivet model fra firmaet Anthropic har nu testet 650 forskellige idéer for at løse gåden. Opgaven tog halvandet døgn og kostede 31 millioner i alt.

Det hele startede med en medarbejder uden matematisk uddannelse. Vedkommende skrev en prompt, som er en instruktion til computeren, om at forsøge at bevise hypotesen. Herefter styrede modellen selv arbejdet som en slags chef. Den brugte 60 sub-agenter, der fungerer som små, specialiserede digitale hjælpere. To af disse hjælpere udviklede de vigtigste idéer, mens 13 andre kom med forslag. 30 agenter ledte efter nye idéer uden held, 13 holdt øje med, om argumenterne var korrekte, og to skrev det første udkast til opgaven.

Resultatet er efterfølgende blevet bekræftet af to af Anthropics egne matematikere. De brugte Lean, som er et værktøj med åben kildekode, der kan tjekke matematiske beviser for fejl. Modellen har formået at øge den nedre grænsefor de løsninger, hvor hypotesen holder stik. Det betyder, at man nu har bevist, at hypotesen er korrekt for et større område end tidligere.

Gennembruddet er en del af en trend med matematiske resultater drevet af store sprogmodeller (Large Language Models). Det er avancerede kunstig intelligens-systemer, der lærer af enorme mængder tekst. I år er flere såkaldte Erdos-problemer blevet løst, og firmaet OpenAI har præsenteret ti resultater fra deres Astra-model. Anthropic har tidligere modbevist Jacobian-konjekturen, som er en anden matematisk formodning. Denne udvikling skaber både stor begejstring og bekymring i det matematiske miljø.

Vil du have, at jeg forklarer nærmere, hvordan de digitale sub-agenter arbejdede sammen om opgaven?