Någon sa att det kanske är en gudomlig rättvisa bakom detta. Det är ju matematiker och programmerare som har skapat AI. Och nu är det programmerare och matematiker som är först med att blir ersatta av modellerna.
Ska inte ens försöka göra denna bedrift begriplig. Men en AI-apparat från företaget bakom ChatGPT har nyligen löst ett klassiskt matematiskt problem, rapporterar Dagens Nyheter: “AI:s senaste genombrott skrämmer matematiker” (30 maj). Detta problem formulerades av ungraren Paul Erdős (1930-1996) redan för åttio år sedan. Många har försökt. Det har till och med funnits en summa i belöning till den som lyckades.
Men nu har AI alltså klurat ut svaret. Till och med skrivit en forskningsartikel om det
Hade det varit en människa som gjort det hade artikeln kunnat bli publicerad i de allra vassaste tidskrifterna, och personen hade varit stark kandidat för jobb på de allra flesta universitet i hela världen…
Det säger Svante Linusson, som är professor i matematik vid KTH, i Stockholm. “Jag är fortfarande lite i chock.”
Problemet ska ha varit något av ett favoritproblem för upphovsmannen själv, “nr 90”, av de många han formulerade. Erdős hade själv en idé om hur det skulle kunna lösas. AI slog honom dock på fingrarna. “AI:n lyckades visa att Erdős förmodan var helt fel”
Den hittade verktyg inom en annan del av matematiken. Och den använder dem på ett mycket elegant sätt. Den har på något sätt förstått flera vitt skilda matematikområden och hur den ska tillämpa dem på det här problemet.
Säger KTH-professorn.
Kanske att detta inte är ett kvantitativt språng ändå, utan snarare ett kvalitativt? Dvs inte bara att kunna utföra uppgifter snabbare och billigare. Utan att en uppgift över huvud taget kunnat utföras?
Man har vant sig vid att AI är kvick att hitta bra information. Den kan skapa en bild åt användaren utifrån uppgivna önskemål. (Som illustrationen med spindeln högst upp, t ex.) Den kan generera datakod. Mitt enda försök i den genren var när jag bad ChatGPT återskapa “Psykoanalytikern Eva”, ett program jag lekte med på en ABC80-dator för länge sedan.
AI sägs konkurrera ut och ersätta folk på lägre nivå i organisationer. Den jobbar snabbt och noggrant. Den kan ersätta kostsamma moment t ex vid filmproduktion och spara tid.
Men vad AI gjort inom matematiken är alltså att lösa ett problem som inte ens de främsta på detta fält klarat av under snart ett århundrade. Fastän man verkligen försökt.
Dagens Nyheter, 30 maj
Resten av texten och intervjun med KTH-professorn är rättså dystopisk.
