Rätsel um verlorenen Gödel-Beweis gelöst

Gödel stand kurz davor, einen revolutionären Beweis zu vollenden, der erst Jahrzehnte später Paul Cohen gelang. Ein KI-System fand die fehlende Lösung, die am Montag in Wien vorgestellt wird