AI löser nu årtionden gamla matteproblem på löpande band. Utvecklingen tvingar världens främsta matematiker in i en existentiell kris.
För bara ett år sedan skrattade många åt att AI-modeller misslyckades med enkel skolmatte och inte ens kunde räkna bokstäver i ett ord. Nu har pendeln svängt brutalt. Artificiell intelligens har plötsligt blivit skrämmande bra på avancerad, abstrakt matematik.
Utvecklingen har gått i raketfart den senaste tiden. Nyligen publicerade OpenAI lösningar på fundamentala matematiska problem som slog ner som en bomb i forskarvärlden. Enligt experter knäcker AI nu uråldriga gåtor på veckobasis, ibland med hjälp av glada amatörer som bara ber modellerna om svar.
Ett tydligt exempel är forskaren Ronnie Cheng, som nyligen färdigställde en extremt komplex studie inom kombinatorik. Innan han ens hann publicera sitt arbete testades problemet på en AI-modell. Maskinen tog fram ett helt ekvivalent bevis på egen hand, utan att ha haft tillgång till Chengs papper.
Terence Tao, som ofta kallas världens främsta nu levande matematiker, menar att människan håller på att förlora sitt monopol på problemlösning. Han varnar för att forskarvärlden bara har månader på sig att organisera sig och helt tänka om vad det innebär att vara matematiker.
Även den prisbelönta matematikern Timothy Gowers spår att AI kommer att överträffa människor helt och hållet senast år 2030. För framtidens doktorander, som lägger nästan ett decennium på att lära sig avancerade tekniker, ekar nu frågan: vad är poängen när en algoritm gör jobbet på några sekunder?
Läs också: