Claude entziffert Gödel-Notizbücher und findet Hunderte unbekannte Beweise
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Der Logiker Kurt Gödel veröffentlichte nach seinen Unvollständigkeitssätzen kaum noch etwas – doch seine 1.009 Seiten umfassenden Arbeitshefte aus den 1940er-Jahren stecken voller Mathematik, notiert in der längst veralteten Gabelsberger-Kurzschrift. Ein Helsinki-Team um Jan von Plato kam nur etwa eine Seite pro Woche voran. Dann half ihm das KI-Modell Claude: Innerhalb weniger Tage lieferte es eine 650-seitige Auswertung, die Hunderte bislang unbekannte Theoreme zutage brachte – darunter einen fast vollständigen Beweis, den Gödel 1966 für sich beansprucht hatte.
Die KI kann alle Teile auf tausend Seiten verbinden. Sie kann Gödels gesamte Schriften als ein einziges Stück sehen.
- iltennico
Was Wissenschaftshistoriker uns erzählen, war Gödel ohnehin ein absoluter Perfektionist, der meist nur Arbeiten veröffentlichte, die absolut wasserdicht waren. Seine enormen Notizbestände enthielten sicherlich einige sehr scharfsinnige Einsichten, aber es ist unwahrscheinlich, dass er zufällig und ohne es zu merken erhellende, schlüssige neue Theoreme hervorgebracht hätte. Er war ein sehr strenger Kritiker seiner eigenen Arbeit.
- hobo123
Das Zeug über Gabelsberger-Kurzschrift kommt mir lächerlich vor. Mein Vater schrieb bis zu seinem Tod 2020 Notizen in einer eigenen Version davon.
Offiziell (d. h. in Schulen, die Stenografie unterrichteten, damals) wurde sie längst durch die „Deutsche Einheitskurzschrift“ (IIRC) ersetzt, aber er hielt Gabelsberger immer für überlegen.
Nun, vielleicht war auch er einer der 6 Menschen auf der Welt, die sie lesen konnten (oder ja, vielleicht war das eine Übertreibung, ich bin mir nicht sicher) :D
- agnosticmantis
Die KI äußerte sich nicht zur Konsistenz oder Vollständigkeit der Notizbücher.
- imbiased
Ich kann mich nicht an das genaue Zitat erinnern, aber ich glaube gelesen zu haben, dass Gödel Einstein (bei ihren Spaziergängen in Princeton) anvertraute, dass er große Angst habe, sein Werk könnte vergessen werden. Wenn er nur wüsste.
- ducttapecrown
Es wäre interessant, etwas über diese neuen 14 Logikthemen zu hören, die Gödel verfolgte!