OpenAI har lyckats lösa 372 matematiska problem som tidigare saknat lösningar, något som KTH-professorn Svante Linusson tror kan förändra matematikernas arbete i grunden. Utvecklingen har gått snabbt och på bara några månader har AI gått från att klara enklare problem till att hitta lösningar på frågor som forskare försökt knäcka i uppemot 100 år. Enligt Linusson producerar AI nu matematiska lösningar snabbare än forskarna hinner granska och förstå dem. Han tror därför att matematiker framöver kommer att ägna mindre tid åt att lösa enskilda problem och mer åt att utforska nya områden och hjälpa andra att använda matematiken.
De 372 lösningarna ska nu granskas av mänskliga matematiker för att säkerställa att de faktiskt stämmer.