KI kan nå lage matematiske bevis. Men hvem skal kontrollere dem?

OpenAI hevder KI har funnet nye matematiske bevis. Nå advarer forskere om at kontroll, dømmekraft og uavhengige fagmiljøer blir viktigere.