Matematikens höginsatsspel

En kultur värd att hylla

Det finns något nästan romantiskt med matematisk problemlösning. Matematiker stöter inte bara på dessa förmodanden—de jagar dem, ägnar dem tvångsmässig uppmärksamhet, och tilldelas ibland Fields Medaljer för att lösa dem. Ju längre ett problem motstår bevis, desto mer prestigefullt blir dess slutgiltiga lösning.

I juni hände något anmärkningsvärt. Grupper från London till Berkeley samlades för att sammanställa en ny lista med 50 problem—men med en viktig hake: varje problem måste kunna verifieras genom automatisk kontroll. Det här handlar inte om akademisk ordning. Det bygger en bro mellan mänsklig intuition och maskinell verifiering. En grund för verkligt samarbete mellan AI och matematiker.

Yang-Hui He, matematiker vid London Institute for Mathematical Sciences, tog med sig sin unge son till en av workshopparna. Under uppmärksamheten från ett tårtätande barn arbetade matematiker tillsammans med att skicka in problem inom knutteori, algebra, topologi och talteori. Det är något underbart mänskligt med den bilden—århundraden gammal matematisk tradition som möter nästa generation.

Problem som håller matematiker vakna

Listan läser sig som en samling av matematisk lidande. Här är några som stack ut:

Summan av tre kuber

Vad händer när du försöker uttrycka ett tal som en summa av tre kuber? Ekvationen x³ + y³ + z³ = k har förbryllat matematiker i decennier. År 2020 löstes fallet k=42 av Andrew Booker och Andrew Sutherland efter 1,3 miljoner beräkningstimmar på volontärdatorer världen över. Nästa mål? 114. Haken? De minsta lösningarna har troligen omkring 30 siffror. Att lösa det med råstyrka kan kosta 100 miljoner dollar eller mer.

Apérys irrationella bevis

Irrationella tal—decimaler som inte går att uttrycka som enkla bråk—gömmer på djupa hemligheter. Medan pi och √2 är välbekanta exempel är det förvånansvärt svårt att bevisa irrationallitet. Det tog två millennium att bevisa att pi var irrationellt. År 1978 bevisade Roger Apéry att ζ(3) (summan av 1/n³) var irrationell med en mystisk "sandwichteknik". När han tillfrågades om hur han hittade beviset sa Apéry reportedly att han fann det i en blomkruka. Den gåtan är fortfarande olöst.

Den ensamma löparens förmodan

Här är ett problem som låter nästan lekfullt: placera löpare på en cirkulär bana, var och en med en unik konstant hastighet. Förmodan förutspår att varje löpare någon gång kommer att befinna sig maximalt långt ifrån alla andra—deras "ensammaste" ögonblick. Lätt att uttrycka, fruktansvärt svårt att bevisa.

AI kliver in i leken

Det mest fascinerande med det här projektet är kopplingen till artificiell intelligens. Epoch AI beställde listan specifikt för att mäta AI-utveckling. Och timingen är intressant—OpenAI har nyligen påstått sig ha löst Navier-Stokes-problemet, ett av de sju Millennium Prize-problemen värt en miljon dollar vardera.

Från och med september har ett fåtal problem från den nya listan lösts, men den officiella samlingen vimlar fortfarande av utmaningar. OpenAI har meddelat att deras ännu inte släppta interna AI-modell har löst över 100 öppna frågor—men hur många av dessa som tillhör denna specifika lista är oklart.

Varför det här spelar roll för techvärlden

Du kanske undrar vad århundraden gamla matematiska förmodanden har med modern mjukvaruutveckling eller molnhosting att göra. Mer än du tror.

För det första driver matematisk problemlösning teknisk innovation. Brute force-metoden för att lösa "summan av tre kuber" för k=42 krävde distribuerad datorkraft över tusentals volontärmaskiner—en försmak av modern molninfrastruktur.

För det andra berör korsningen mellan AI och formell verifiering varje aspekt av mjukvarutillförlitlighet. När matematiker insisterar på att problem ska vara "automatiskt verifierbara" sysslar de med det som mjukvaruingenjörer kallar formella metoder—samma principer som gör säkra system pålitliga.

För det tredje, och kanske viktigast, är det andan av att ta sig an omöjliga problem som driver teknologisk innovation. Oavsett om du löser Riemann-hypotesen eller bygger nästa skalbara hostingplattform är tillvägagångssättet liknande: identifiera begränsningarna, hitta eleganta lösningar och verifiera ditt arbete.

Matematikersamfundets samarbete med AI-organisationer representerar ett nytt kapitel i upptäckter. De här 50 problemen är inte bara akademiska kuriositeter—de är riktmärken för mänskligt-AI-samarbete i intellektuella strävanden. Och i en era där vi bygger AI-assisterade utvecklingsverktyg och vibe coding-plattformar ger det oss en glimt av framtiden vi bygger.

Blomkruksmysteriet förblir olöst. Men någonstans kanske en AI kommer närmare till att förstå hur Apéry hittade sitt bevis.