{
  "id": 19836479,
  "title": "‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths",
  "url": "https://urgent.news/2026/11/13/ahead-of-his-time-ai-helps-unlock-discoveries-hidden-in-notebooks-of",
  "topic": "ai",
  "section": "AI",
  "published": "2026-11-13T16:38:27.000Z",
  "source": {
    "name": "Guardian Technology",
    "slug": "guardian-technology",
    "url": "https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths"
  },
  "original_language": "en",
  "account": "Kurt Gödel, a renowned 20th-century Austrian logician, left behind 1,009 pages of dense, handwritten text in an obsolete shorthand, known as Gabelsberger. This material, now deciphered with the help of artificial intelligence, contains hundreds of previously unknown proved theorems. Gödel's incompleteness theorems, published in 1931, revolutionized mathematics and set the stage for the digital age. After these significant findings, Gödel published very few papers. However, his \"workbooks,\" written in the early 1940s, contain tens of thousands of pages of mathematical and logical content. Historian Jan von Plato, leading the research project at Helsinki University, enlisted AI assistance when human deciphering slowed to a page per week. Within days, AI model Claude provided a comprehensive digest of the workbooks, revealing Gödel had anticipated many 1970s and 1980s results. Gödel's work pushed the field of logic in new directions, inspiring Alan Turing's 1936 paper on modern computation. In 1940, Gödel fled Austria under Nazi rule and became a friend of Albert Einstein at Princeton. He died of starvation in 1978. Von Plato's project was spurred by his upcoming retirement, and the AI's contributions have revealed Gödel's far-advanced thinking ahead of his time.",
  "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 Austrian logician Kurt Gödel was one of the most original thinkers of the 20th century. His two incompleteness theorems , published in 1931, transformed mathematics and paved the way for the digital age. After his seminal results of the 1930s,…",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}