AI cracks Gödel's 1,009-page notebooks, uncovering hundreds of unknown theorems in days
stevenstrogatz · x · 2026-11-14
- Since 2017, Finnish logician Jan von Plato has led a Helsinki University project decoding 16 of Kurt Gödel's early-1940s workbooks — 1,009 densely written pages, much of it in the obsolete German shorthand Gabelsberger. Progress crawled at roughly one page per week.
- In September, von Plato brought in Claude. Within days the model produced a comprehensive digest of the entire material, revealing that Gödel had proved hundreds of theorems nobody knew about.
- The finding significantly expands the known output of the 20th century's most famous logician, whose incompleteness theorems paved the way for the digital age.
More from Models
- Together AI webinar dissects Ripple-65B coding model: dense vs MoE, ablations, RL runs — togethercompute · 2026-11-14
- Developer seeks free model alternatives after losing free DeepSeek access in Pi editor — nirurin · 2026-11-14
- Skeptic doubts Anthropic achieved large-factor bpb gains at fixed compute — teortaxesTex · 2026-11-14
- Surge AI benchmark: every Claude model, even Haiku, beats every GPT on staff-level coding — echen · 2026-11-14
- NVIDIA lands nvfp4 in large-scale pretraining under codename "yolo bundle" — SonglinYang4 · 2026-11-14
- Delip Rao mocks vendors testing safety in production, then rolling back updates — deliprao · 2026-11-14