Primtalens gåta kan vara på väg att lösas!

I ett kontor i San Francisco fick en medarbetare utan djupare matematisk skolning en idé: han bad en ännu osläppt AI-modell att "ta ett riktigt försök" på Riemannhypotesen – matematikens kanske mest berömda olösta problem. Ett och ett halvt dygn senare fanns ett resultat på bordet som två professionella matematiker fick sätta sig ner och granska. Och det höll.

Hypotesen är inte löst. Men steget som togs är inte kosmetiskt: modellen bevisade att hypotesen håller inom ett betydligt större område än vad man tidigare kunnat visa. Det är precis den sortens framflyttade positioner som brukar föregå ett fullständigt bevis.

Primtalen är inte bara vacker matematik – de är fundamentet under nästan all digital säkerhet vi använder dagligen. Krypteringen bakom bank-id, kortbetalningar, hänglåset i webbläsarens adressfält och kryptovalutornas plånböcker vilar i grunden på att vissa räkneoperationer med enormt stora primtal är lätta att göra åt ena hållet men praktiskt taget omöjliga åt det andra.

Därav den naturliga oron: om datorer plötsligt "lär sig primtalen", faller då hela bygget?

Svaret från kryptografer är lugnande, och det är värt att förstå varför. Riemannhypotesen handlar omfördelningen av primtal – hur tätt de ligger längs tallinjen. Krypteringens säkerhet vilar på något annat: svårigheten attfaktorisera ett gigantiskt tal tillbaka till sina två primtalsfaktorer. Att veta ungefär var primtalen finns hjälper inte den som vill hitta exakt vilka två primtal som byggde en viss nyckel.

Det som gör den här nyheten intressant är inte hotet, utan metoden. En AI-modell som självständigt koordinerar 60 delagenter, förkastar 648 återvändsgränder och behåller de två idéer som bär – det liknar hur ett stort forskningslag arbetar, fast på 36 timmar.

Under året har flera liknande resultat trillat in. Erdősproblem har fallit, en annan modell har presenterat tio nya matematiska resultat, och en långlivad förmodan inom algebran har motbevisats. Formaliseringen i Lean är nyckeln: den gör att ingen behöver ta AI:n på orden. Varje logiskt steg kontrolleras maskinellt, rad för rad.

Matematikerkåren är kluven. I en deklaration i somras varnade framstående forskare för att matematiken riskerar att tappa något väsentligt om satser inte längre kan knytas till en namngiven person som tar ansvar för dem. Fieldsmedaljören Timothy Gowers svarade med en mer öppen hållning: om teorem i framtiden inte längre bär enskilda namn – är det egentligen värre än att de allra flesta stjärnor på himlen saknar namn?

Oavsett vilken sida man landar på finns här något ovanligt hoppfullt. Ett 150 år gammalt problem rör på sig. Verktygen som flyttade det är öppna för granskning. Och den digitala säkerheten hinner ställa om långt innan matematiken hunnit i kapp.

Primtalens gåta är inte löst i dag. Men för första gången på länge ser den ut som ett problem som faktiskt kan lösas – och det, i sig, är riktigt goda nyheter.