Claude cracks Gödel's 1940-42 notebooks in a day, surfacing 663 unknown theorems
stevenstrogatz · x · 2026-11-14
Math writer Alex Bellos reports that Gödel's 1940-42 notebooks — which had defeated human scholars for 80 years — were fully understood by Claude in a single day once the handwritten pages were transcribed. Claude surfaced 663 theorems that no one knew about, a striking case of AI applied to mathematical history and theorem discovery.
More from AGI Musings
- 80,000 Hours' Wiblin urges funding grassroots AI risk groups, sparking 'epistemics' drama — zetalyrae · 2026-11-14
- '2027 will be the year of principals': the agent vs. principal debate starts — chickefitz · 2026-11-14
- François Fleuret asks if AI is already being ring-fenced for a tiny elite — francoisfleuret · 2026-11-14
- "I made this completely without AI" flex is a dogmatic dead end, argues artist — Merzmensch · 2026-11-14
- The optimism-writing vibe shift in AI: leading with promise instead of peril lists — generativist · 2026-11-14
- After Outlook and FAA outages, warning that AI adoption lacks institutional guardrails — asusarla · 2026-11-14