Die extremsten Wissenschaftsversuche – Teil 17
Ein Computer löst eines der schwierigsten mathematischen Probleme
18.02.2025
Sind mathematische Computerbeweise, die kein Mensch eigenhändig nachvollziehen kann, gültig? Bild: Chat-GPT