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.

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.