AI decodes Gödel's Gabelsberger shorthand, unearthing unknown proofs incl. consistency of ¬choice
burny_tech · x · 2026-11-14
Mathematician Joel David Hamkins shared that AI has been used to decipher the Gabelsberger shorthand system in Kurt Gödel's notebooks — a script scholars had struggled to systematically read for decades. The translation effort has surfaced numerous previously unknown proofs, including an argument for the consistency of the negation of the axiom of choice. Unlocking these manuscripts may reshape our understanding of Gödel's late mathematical thinking.
More from Research
- Skeptic doubts Anthropic achieved large-factor bpb gains at fixed compute — teortaxesTex · 2026-11-14
- Quantizing training to MXFP8 with stochastic rounding: the accuracy-speed sweet spot — snowclipsed · 2026-11-14
- Ant Group's Mara Chain: refine prompts/harness/code, matches GEPA with far fewer rollouts — jiqizhixin · 2026-11-14
- Notion Ran ZeroEntropy's Reranker in Production Long Before the Acquisition — CShorten30 · 2026-11-14
- AI cracks Gödel's 1,009-page notebooks, uncovering hundreds of unknown theorems in days — stevenstrogatz · 2026-11-14
- Google's Gemini 4 multiagent workflows solve 10+ open math problems, incl. 50M-line Lean 4 proof — michael_galkin · 2026-11-14