đ Claude las 1.009 Seiten von Gödels Notizen und listete 663 Theoreme auf
Der finnische Logiker Jan von Plato entzifferte seit 2017 etwa eine Seite pro Woche aus Kurt Gödels Arbeitsheften aus den frĂŒhen 1940er-Jahren. Im September gab er Claude seine Transkriptionen, und innerhalb weniger Tage lieferte Claude eine 650-seitige ErlĂ€uterung. Von den 663 Theoremen, die Gödel bewiesen, skizziert oder nur umrissen hatte, erwiesen sich etwa 400 in der vorliegenden Form im Beweisassistenten Coq als korrekt, etwa 200 mussten korrigiert werden und etwa 50 waren falsch. Claude fand auĂerdem heraus, dass Gödel nur eine fehlerhafte Definition davon entfernt war, zu beweisen, dass das Auswahlaxiom unabhĂ€ngig ist â ein Ergebnis, fĂŒr das Paul Cohen spĂ€ter die Fields-Medaille erhielt.
â Ein Logiker, der nur eine Seite pro Woche schaffte, ĂŒbergab Claude die NotizbĂŒcher â und bekam die Arbeit von Jahren in zwei Tagen zurĂŒck.
#AI
Der finnische Logiker Jan von Plato entzifferte seit 2017 etwa eine Seite pro Woche aus Kurt Gödels Arbeitsheften aus den frĂŒhen 1940er-Jahren. Im September gab er Claude seine Transkriptionen, und innerhalb weniger Tage lieferte Claude eine 650-seitige ErlĂ€uterung. Von den 663 Theoremen, die Gödel bewiesen, skizziert oder nur umrissen hatte, erwiesen sich etwa 400 in der vorliegenden Form im Beweisassistenten Coq als korrekt, etwa 200 mussten korrigiert werden und etwa 50 waren falsch. Claude fand auĂerdem heraus, dass Gödel nur eine fehlerhafte Definition davon entfernt war, zu beweisen, dass das Auswahlaxiom unabhĂ€ngig ist â ein Ergebnis, fĂŒr das Paul Cohen spĂ€ter die Fields-Medaille erhielt.
â Ein Logiker, der nur eine Seite pro Woche schaffte, ĂŒbergab Claude die NotizbĂŒcher â und bekam die Arbeit von Jahren in zwei Tagen zurĂŒck.
#AI
