KI entschlüsselt Gödels Notizbücher: Hunderte unbekannte Sätze entdeckt

Tokenstrom – KI-News des Tages · 13. Nov. 2026 · 9:01

In der Podli-App hören 🎧

Folge deinen Lieblingspodcasts, höre offline und im Auto mit CarPlay und Android Auto und mach immer dort weiter, wo du warst. Kostenlos ausprobieren.

Seit 2017 versucht ein Forscher in Helsinki, die 1.009 Seiten Kurzschrift-Notizen des Logikers Kurt Gödel zu verstehen. Er kam dabei etwa eine Seite pro Woche voran. Mit Hilfe des KI-Modells Claude fand er nun nach eigenen Angaben 663 Sätze, von denen niemand wusste, und einen fast fertigen Beweis, für den später ein anderer die Fields-Medaille bekam.

Ganzer Artikel mit Quellen: https://tokenstrom.de/posts/ki-entschlusselt-godels-notizbucher-hunderte-unbekannte-satze-entdeckt/

Gesprochen von einer KI-Stimme.