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.

AI har löst ett problem som formulerades 1946 av den ungerske matematikern Paul Erdős, och som världens matematiker gåt bet på sedan dess.

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.