<img style="float: right" src="https://i.ds.at/c6U5mQ/rs:fill:150:0/plain/lido-images/2026/10/16/b728f81c-f288-407b-904e-f136e8eec631.jpg">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 Quelle: https://www.derstandard.at/story/3000000344396/raetsel-um-verlorenen-goedel-beweis-geloest?ref=rss