AI helps unlock discoveries in Kurt Gödel's notebooks of proved theorems
AI has helped decipher 1,009 pages of Kurt Gödel's densely written notebooks, much in obsolete shorthand, said to contain hundreds of proved theorems.
Read the full story at The Guardian AI ↗
Timeline · 1 report
- 2026-11-13 16:38 · The Guardian AI
‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths