AI cracks Gödel's 1,009-page notebooks, revealing hundreds of unknown theorems
nordicinst · x · 2026-11-14
Per The Guardian: Finnish logician Jan von Plato has led a Helsinki University project since 2017 on Kurt Gödel's 16 early-1940s workbooks — 1,009 densely written pages, much in the obsolete Gabelsberger German shorthand. Progress crawled at about a page a week until September, when he enlisted Claude. Within days the model produced a comprehensive digest of the entire material, revealing Gödel had proved hundreds of theorems nobody knew about.
More from Research
- AI finds shared metabolic signature of five lifespan-extending treatments in mice — Dr_Singularity · 2026-11-14
- SWE-bench co-author shares how the benchmark went from lukewarm launch to must-watch — OfirPress · 2026-11-14
- Thinking Machines details end-to-end native 4-bit training of Inkling 2 Small — thinkymachines · 2026-11-14
- AI decodes Gödel's Gabelsberger shorthand, unearthing unknown proofs incl. consistency of ¬choice — burny_tech · 2026-11-14
- Artificial Analysis launches speaker diarization benchmark; NVIDIA Nemotron 3.5 leads at 3.3% WDER — ArtificialAnlys · 2026-11-14
- LLMLean is back: LLM-powered proof suggestions for Lean, local or cloud — wellecks · 2026-11-14