Under större delen av förra seklet förändrades matematikpraktiken anmärkningsvärt lite. En matematiker lägger märke till ett mönster, skriver en gissning, spenderar månader eller år på att konstruera ett bevis och andra matematiker verifierar det. Nu, enligt en djupgående rapport av Benjamin Skuse i IEEE Spectrum, börjar artificiell intelligens kringgå den långsamma, övervägande processen och tvingar fältet att konfrontera vad det faktiskt innebär att vara matematiker.
Stycket, publicerat den 25 juni 2026, spårar hur snabbt stora språkmodeller har utvecklats från det som kritiker en gång avfärdade som stokastiska papegojor till genuina matematiska resonemangsmotorer och vad den förändringen betyder för de människor som alltid har gjort detta arbete. For more context on this story, see our ongoing AI news.
AI:s snabbt växande fotavtryck inom matematik
Beräkning har accelererat matematiken i årtionden. Vändpunkten kom för ungefär 50 år sedan, när en dator användes för att bevisa fyrfärgssatsen, som frågar om någon karta kan färgläggas med högst fyra färger så att inga närliggande områden delar en färg. Svaret var ja, men beviset var kontroversiellt eftersom det förlitade sig på att kontrollera 1 936 fall som ingen människa realistiskt kunde verifiera för hand.
Även under den beräkningseran förblev den mänskliga matematikern central, föreslog gissningar, utarbetade strategier och verifierade resultat. AI utmanar nu det arrangemanget direkt. Förra sommaren nådde system från Google DeepMind och OpenAI en nivå som motsvarar världens mest matematiskt begåvade gymnasieelever, och uppnådde guldmedaljstatus vid International Mathematical Olympiad (IMO), den årliga tävlingen där tävlande måste lösa sex notoriskt svåra problem.
Milstolparna har fortsatt att accelerera. Tidigare under 2026 producerade Google DeepMinds experimentsystem Aletheia autonomt publicerbara forskningsresultat på doktorandnivå. Även om själva verket är matematiskt obskyrt, beräknar strukturkonstanter i aritmetisk geometri, ligger betydelsen i det komplexa resonemang som krävs för att ta itu med ett tidigare olöst problem. På senare tid motbevisade ett nytt allmännyttigt AI-system från OpenAI en viktig gissning inom kombinatorisk geometri, ett resultat som toppmatematiker hyllade som en milstolpe för området och som skulle ha varit värda att publiceras i en stor tidskrift.
Bevisassistenter och formaliseringsflaskhalsen
Ett andra skifte har kommit från att para ihop stora språkmodeller med korrekturassistenter. System som Isabelle, Lean och Rocq är specialiserade programmeringsspråk som kontrollerar matematiska bevis steg för steg och verifierar deras logiska korrekthet. I mer än ett decennium har flaskhalsen varit formalisering, den mödosamma processen att för hand översätta teorem och bevis till maskinläsbar kod.
LLM:er börjar ta bort den flaskhalsen genom att automatisera översättningen av informella bevis till formell kod som korrekturassistenter kan verifiera. I februari använde AI-företaget Math, Inc. sin resonemangsagent, vid namn Gauss, för att formalisera arbetet som gav EPFL:s Maryna Viazovska en Fields-medalj 2022. Gauss hjälpte först mänskliga matematiker att slutföra formaliseringen av Viazovskas lösning på den 8-dimensionella sfärförpackningsproblemet, sedan mer komplicerat för 4-dimensionella fall i en fråga om 2 dagar. på bara två veckor.
Sådana prestationer tyder på att AI redan hanterar uppgifter som länge ansetts vara unikt mänskliga, och att mycket av det dagliga arbetet för en matematiker snart kan vara rättvist spel för automatisering.
Matematiker diskuterar om de blir "präster till orakel"
Skuse rapporterade från det 12:e Heidelberg Laureate Forum i september 2025 och beskriver en påtaglig oro i publiken när talare beskrev en framtid där övermänskliga AI-system formar gissningar, söker efter lösningar, bevisar teorem, verifierar bevis och generaliserar resultat utan mänsklig inblandning.
Yang-Hui He från London Institute for Mathematical Sciences varnade minnesvärt för att mänskliga matematiker skulle kunna bli "präster för orakel." Jessica Randall, matematiker för Google Developer Groups, sa att hon kände en kollektiv existentiell rädsla öka bland unga forskare. "Vi började verkligen inse att AI har potentialen att ersätta oss," sa hon till IEEE Spectrum.
Alla är inte oroliga. Vissa etablerade matematiker vill helt enkelt ha svar på de största öppna frågorna, som de sex återstående millennieprisproblemen, oavsett vem eller vad som producerar dem. "Många matematiker är pragmatiska och vill bara förstå", konstaterade Jeremy Avigad från Carnegie Mellon University. "De skulle sälja sin själ för lösningen på ett problem."
Tre konkurrerande visioner för framtiden
IEEE Spectrum-rapporten identifierar tre breda visioner för hur matematik och AI kan samexistera.Den första är en människocentrerad syn som prioriterar mänsklig förståelse och behandlar AI som ett verktyg, ungefär som en miniräknare. Fields Medalist och Princeton-matematiker Akshay Venkatesh hävdar att matematik i grunden är ett sätt att nå enighet. "Ibland tror jag att när vi använder siffror så handlar det inte så mycket om att vi beskriver fenomen som i sig är numeriska, utan att vi alla kan komma överens om exakt vad siffrorna betyder", sa han.
Den andra betonar den oåterkalleligt mänskliga erfarenheten av kamp. Maia Fraser från University of Ottawa hävdar att ett AI-bevis på en envis gissning bara är användbart om det är begripligt för människor. "Att påståendet kan bevisas av AI är redan användbar information", medgav hon. "Men då är det fortfarande ett öppet problem att komma med ett elegant, vackert mänskligt bevis."
Den tredje, och kanske den mest ambitiösa, kommer från Terence Tao från UCLA, som först tävlade i matematikolympiaden vid 10 års ålder och nu är en av de mest dekorerade matematikerna i livet. Tao ser AI som katalysatorn för vad han kallar "big mathematics," en framtid av storskaliga, decentraliserade samarbeten mellan människor och maskiner där komplexa problem är uppdelade i bitar, där människor hävdar det kreativa arbetet och AI som hanterar det tekniska grymtningsarbetet.
En disciplin som frågar varför den existerar
Det som gör stunden ovanlig är att debatten inte längre är hypotetisk. AI-system tjänar redan IMO-guldmedaljer, producerar publicerbar forskning, motbevisar gissningar och formaliserar Fields Medal-vinnande bevis på dagar snarare än år.
För studenter som Trill White från Australiens Deakin University, som deltog i Heidelberg-forumet, landade insikten hårt. "Det är förödande," mindes White när han tänkte. "Vad kommer människor att behöva bidra med i matematiken? Kommer det att bli något som ingen förstår?"
Svaret är ännu inte klart. Men som Skuses rapportering klargör står matematiken, en av mänsklighetens äldsta intellektuella discipliner, nu inför samma fråga som omformar nästan varje område som AI berör: när en maskin kan göra jobbet, vad är arbetet egentligen till för?
Källa: Benjamin Skuse, "What It Means to Be a Mathematician When AI Does the Math," IEEE Spectrum, 25 juni 2026.---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
