AI helps unlock discoveries hidden in Kurt Gödel's notebooks
Researchers used AI to help decipher 1,009 pages of Kurt Gödel's densely written notebooks, much in obsolete shorthand, which are 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