Claude Decodes Gödel's Long-Unread Notebooks, Revealing Hundreds of Unknown Theorems

After Gödel's 1,009 pages of shorthand notebooks were transcribed, Claude understood them in a single day and uncovered hundreds of previously unknown theorems, including results on the consistency of the negation of the axiom of choice.

2026-11-14 ~ 2026-11-14 · 4 related posts

• AI cracks Gödel's 1,009-page notebooks, revealing hundreds of unknown theorems — nordicinst · 2026-11-14
• AI decodes Gödel's Gabelsberger shorthand, unearthing unknown proofs incl. consistency of ¬choice — burny_tech · 2026-11-14
• AI cracks Gödel's 1,009-page notebooks, uncovering hundreds of unknown theorems in days — stevenstrogatz · 2026-11-14
• Claude cracks Gödel's 1940-42 notebooks in a day, surfacing 663 unknown theorems — stevenstrogatz · 2026-11-14