‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
Source 卫报科技1h ago
Summary
Kurt Gödel left 1,009 pages of densely written text – much of it in an obsolete shorthand – which is now said to contain hundreds of proved theorems The Austri…
We index headlines and summaries only. Full content and copyright remain with the original publisher — follow the source link to read it.
Open original- Desk
- Tech
- Region
- United Kingdom
- Language
- English
- Item ID
- tech-c99499af
Comments 0 comments
No comments yet. Be the first.