https://www.scinexx.de/news/technik/mathematik-computer-liefert-jahrzehnte-gesuchten-beweis/