‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths - https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths "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" clever old paranoid Gödel
0 Boosts
0 Likes
@mrundkvist I agree, they are fantastic for certain tasks like this; for others, not so much...
@glynmoody
This is the sort of thing we should be using LLMs for. 👍