Problemet har gäckat matematikerna i 80 år. Nu har det lösts – av en AI, rapporterar DN. – Jag är fortfarande lite i chock, säger Svante Linusson, professor i matematik vid KTH.