OpenAI: AI løste kjent matematisk problem på 88 timer

KI-selskapet OpenAI sier at de har løst et av de største matteproblemene fra de siste 100 årene.