{"id":"04fe868346bea7c8f4af3644b126689099f4aa6511a77db3443c62d631f8b97f","title":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","argument":"The Guardian reports that Finnish logician Jan von Plato used Claude to examine Kurt Gödel’s 1,009 pages of workbooks, much of them written in obsolete German shorthand. Von Plato says Claude connected material across the notebooks and produced a 650-page explanation in days, after progress had been about a page a week. He says the workbooks contain hundreds of theorems and more than a dozen unexplored themes in logic and foundations of mathematics.\n\nThe report describes a test case: whether the notebooks contained a proof concerning the independence of the axiom of choice. Von Plato says Claude found a nearly complete proof, but Gödel had used one wrong definition. Von Plato ran the reconstructed proof through Coq, a program that verifies mathematical proofs, and says it passed. Of 663 extracted results, he reports that about 400 were verified as stated, about 200 repaired, and about 50 false.\n\nThe account presents AI as helping a researcher compare a large body of difficult-to-read work, not as settling who deserves credit. Logician Joel David Hamkins had not seen the reconstruction; he said its historical significance depended on whether it stood up, and that historians must assess how much was Claude’s and how much Gödel’s. The report also notes that Gödel’s unpublished ideas do not automatically earn him credit for work he did not tell anyone about.","topicIds":["intelligence-and-discovery","power-and-infrastructure"],"domain":"science","claimType":"attributed reading","limits":"The findings and verification counts are reported through von Plato; the article does not provide the notebooks, Claude’s full output, or the Coq materials for independent examination. Hamkins had not seen Claude’s reconstruction, so the article does not establish his assessment of the proof itself. The report says about 200 results were repaired and about 50 were false; those approximate counts do not establish the status of every result or the historical authorship of the reconstructed proof.","speaker":{"name":"Alex Bellos","roleAtSource":"Article author"},"source":{"title":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","publisher":"The Guardian","format":"Article","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","publishedAt":"2026-11-13T16:38:27.000Z","dateBasis":"Date stated by the publisher."},"evidence":[{"text":"Jan von Plato enlisted Claude to analyze Gödel’s workbooks, after human progress had been about a page per week; he says the model produced a comprehensive digest in a couple of days.","excerpt":"Progress in the mathematical understanding of the text was painfully slow – about a page a week – until September, when von Plato enlisted the help of the AI model Claude.","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","relationship":"Source-stated"},{"text":"Von Plato reports that the workbooks contain 663 extracted results, with about 400 verified as stated, about 200 repaired, and about 50 false.","excerpt":"Claude found 663. When these results were put into Coq: “About 400 were verified as stated, about 200 were repaired","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","relationship":"Source-stated"},{"text":"Von Plato says Claude found a near-complete proof concerning the independence of the axiom of choice; Gödel had used one incorrect definition, and von Plato says the reconstructed proof passed Coq.","excerpt":"The answer came back: yes, almost. “He was just one step away,” said von Plato. “There’s one definition that Gödel got wrong","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","relationship":"Source-stated"},{"text":"Hamkins cautions that resemblance to a later proof does not establish that Gödel had that proof, and says historians must assess the respective contributions of Claude and Gödel.","excerpt":"Although how much is Claude and how much is Gödel is a job for the historians.","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","relationship":"Source-stated"}],"sourceMedia":{"status":"found","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","checkedAt":"2026-11-14T10:00:46.600Z","items":[{"type":"image","url":"https://i.guim.co.uk/img/media/6eeccf216579fe2181ae737d30f31abd7590125c/210_58_1759_1407/master/1759.jpg?width=465&dpr=1&s=none&crop=none","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","attribution":"The Guardian","basis":"publisher-embed","availability":"verified","label":"Kurt Gödel","verifiedAt":"2026-11-14T10:00:46.976Z"}],"note":"Media declared by the original publisher; availability checked separately from the editorial reading."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How much of the reconstructed proof can historians attribute to Gödel, and does it stand up to scrutiny beyond the checks described by von Plato?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","summary":"The Guardian reports that Finnish logician Jan von Plato used Claude to examine Kurt Gödel’s 1,009 pages of workbooks, much of them written in obsolete German shorthand. Von Plato says Claude connected material across the notebooks and produced a 650-page explanation in days, after progress had been about a page a week. He says the workbooks contain hundreds of theorems and more than a dozen unexplored themes in logic and foundations of mathematics.\n\nThe report describes a test case: whether the notebooks contained a proof concerning the independence of the axiom of choice. Von Plato says Claude found a nearly complete proof, but Gödel had used one wrong definition. Von Plato ran the reconstructed proof through Coq, a program that verifies mathematical proofs, and says it passed. Of 663 extracted results, he reports that about 400 were verified as stated, about 200 repaired, and about 50 false.\n\nThe account presents AI as helping a researcher compare a large body of difficult-to-read work, not as settling who deserves credit. Logician Joel David Hamkins had not seen the reconstruction; he said its historical significance depended on whether it stood up, and that historians must assess how much was Claude’s and how much Gödel’s. The report also notes that Gödel’s unpublished ideas do not automatically earn him credit for work he did not tell anyone about.","question":"How much of the reconstructed proof can historians attribute to Gödel, and does it stand up to scrutiny beyond the checks described by von Plato?","claims":[{"text":"Jan von Plato enlisted Claude to analyze Gödel’s workbooks, after human progress had been about a page per week; he says the model produced a comprehensive digest in a couple of days.","excerpt":"Progress in the mathematical understanding of the text was painfully slow – about a page a week – until September, when von Plato enlisted the help of the AI model Claude.","support":"source-stated"},{"text":"Von Plato reports that the workbooks contain 663 extracted results, with about 400 verified as stated, about 200 repaired, and about 50 false.","excerpt":"Claude found 663. When these results were put into Coq: “About 400 were verified as stated, about 200 were repaired","support":"source-stated"},{"text":"Von Plato says Claude found a near-complete proof concerning the independence of the axiom of choice; Gödel had used one incorrect definition, and von Plato says the reconstructed proof passed Coq.","excerpt":"The answer came back: yes, almost. “He was just one step away,” said von Plato. “There’s one definition that Gödel got wrong","support":"source-stated"},{"text":"Hamkins cautions that resemblance to a later proof does not establish that Gödel had that proof, and says historians must assess the respective contributions of Claude and Gödel.","excerpt":"Although how much is Claude and how much is Gödel is a job for the historians.","support":"source-stated"}],"limitations":["The findings and verification counts are reported through von Plato; the article does not provide the notebooks, Claude’s full output, or the Coq materials for independent examination.","Hamkins had not seen Claude’s reconstruction, so the article does not establish his assessment of the proof itself.","The report says about 200 results were repaired and about 50 were false; those approximate counts do not establish the status of every result or the historical authorship of the reconstructed proof."],"mediaId":"12990af15e181ab96cfcd59af6eb8fe359a02784c42db964df77ea8b1b569aeb","correctionReason":null,"id":"04fe868346bea7c8f4af3644b126689099f4aa6511a77db3443c62d631f8b97f","publicationId":"76dda978-a918-4743-82cb-d43199a51840","version":1,"sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","sourceTitle":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","publisher":"The Guardian Science","publishedAt":"2026-11-13T16:38:27.000Z","originalPublished":{"value":"2026-11-13T16:38:27.000Z","precision":"instant","basis":"publisher_page"},"firstObservedAt":"2026-11-14T09:54:26.921Z","createdAt":"2026-11-14T10:01:57.880Z","historical":false,"entityIds":["guardian-science"],"topicIds":["intelligence-and-discovery","power-and-infrastructure"],"media":[{"id":"12990af15e181ab96cfcd59af6eb8fe359a02784c42db964df77ea8b1b569aeb","kind":"article","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-14T10:00:46.976Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."},{"id":"66534e07022dee7fbdf06e95c7d6e5b7fb508ab6774b9dc1d4827c526c6c98ad","kind":"image","url":"https://i.guim.co.uk/img/media/6eeccf216579fe2181ae737d30f31abd7590125c/210_58_1759_1407/master/1759.jpg?width=465&dpr=1&s=none&crop=none","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","label":"Kurt Gödel","provenance":"publisher_page","verification":{"status":"verified","checkedAt":"2026-11-14T10:00:46.976Z","method":"publisher_association_and_head","contentType":"image/jpeg","cacheUntil":1794650746976},"recommendationReason":"Observed on the acquired publisher source; availability checked."}],"sourceMedia":{"status":"found","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","checkedAt":"2026-11-14T10:00:46.600Z","items":[{"type":"image","url":"https://i.guim.co.uk/img/media/6eeccf216579fe2181ae737d30f31abd7590125c/210_58_1759_1407/master/1759.jpg?width=465&dpr=1&s=none&crop=none","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","attribution":"The Guardian","basis":"publisher-embed","availability":"verified","label":"Kurt Gödel","verifiedAt":"2026-11-14T10:00:46.976Z"}],"note":"Media declared by the original publisher; availability checked separately from the editorial reading."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v7","mediaId":"12990af15e181ab96cfcd59af6eb8fe359a02784c42db964df77ea8b1b569aeb","confidence":0.75,"provider":"typesafe","model":"jev-1.13.0","inputHash":"6571d9f39c6c89b3ebb2e6aa00515bb0cde91aa2dce063b27a7f250d17a165e8","decidedAt":"2026-11-14T10:00:48.488Z"},"provenance":{"textHash":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","observationId":"ff6f9c31757a3e0b7f23851c7a3a1148d4cc8e98ffe71b3f8ebe241848fd5e49","retrievedAt":"2026-11-14T10:00:46.600Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"cfcb6f9b-1438-48c0-8772-c97d829edf8d"},"reviewer":{"model":"gpt-6-luna","runId":"7adb1102-8455-480b-8a67-cfcd1d3019a1"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-14T10:01:57.880Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Alex Bellos","url":null,"kind":"Person"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Alex Bellos","url":null,"kind":"Person","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Alex Bellos","status":"stated","provenance":{"basis":"article-jsonld","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","locator":"document/html[1]/head[0]/script[59]@2715[0].author"},"assertionId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-14T10:00:46.600Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","contentSha256":"3e95f0d478461ae82332348f32e7311642235310e87b9cf4c834b8879b858632","textHash":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","observedAt":"2026-11-14T10:00:46.600Z"}},{"actor":{"name":"The Guardian","url":"https://www.theguardian.com/","kind":"unknown","actorId":null},"role":"publisher","scope":{"kind":"publication","locator":null},"literalCredit":"The Guardian","status":"stated","provenance":{"basis":"article-publisher","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","locator":"document/html[1]/head[0]/script[59]@2715[0].publisher"},"assertionId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-14T10:00:46.600Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","contentSha256":"3e95f0d478461ae82332348f32e7311642235310e87b9cf4c834b8879b858632","textHash":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","observedAt":"2026-11-14T10:00:46.600Z"}}],"participationCoverage":{"total":2,"returned":2,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":{"name":"The Guardian","url":"https://www.theguardian.com/"},"sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","snapshotId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b","contentSha256":"3e95f0d478461ae82332348f32e7311642235310e87b9cf4c834b8879b858632","textHash":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","observedAt":"2026-11-14T10:00:46.600Z","basis":"publisher-page-metadata","sourceLinks":11,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/04fe868346bea7c8f4af3644b126689099f4aa6511a77db3443c62d631f8b97f/source"}},"canonicalUrl":"https://escapemeridian.com/readings/ahead-of-his-time-ai-helps-unlock-discoveries-hidden-in-04fe8683","formats":{"html":"/readings/ahead-of-his-time-ai-helps-unlock-discoveries-hidden-in-04fe8683","markdown":"/readings/ahead-of-his-time-ai-helps-unlock-discoveries-hidden-in-04fe8683.md","json":"/readings/ahead-of-his-time-ai-helps-unlock-discoveries-hidden-in-04fe8683.json"},"attribution":"Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.","maintainedGuideLinks":[],"conditions":[],"readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[],"entities":[{"id":"time","name":"TIME","kind":"organization","context":"TIME is a news magazine publishing reporting on world affairs, business, technology and the workers behind digital services.","referenceUrls":["https://time.com/"],"path":"/entities/time","json":"/entities/time.json","markdown":"/entities/time.md"},{"id":"claude","name":"Claude","kind":"model","context":"Claude is Anthropic’s family of AI models and assistants for tasks such as writing, analysis and coding.","referenceUrls":["https://claude.com/product/overview","https://www.anthropic.com/news","https://www.anthropic.com/research/team/economics"],"path":"/entities/claude","json":"/entities/claude.json","markdown":"/entities/claude.md"},{"id":"joel-david-hamkins","name":"Joel David Hamkins","kind":"person","context":"Logic, infinity and mathematical explanation broaden the corpus beyond technology forecasts.","referenceUrls":["https://lexfridman.com/joel-david-hamkins","https://www.infinitelymore.xyz/p/chess-games-end-one-move-early","https://www.infinitelymore.xyz/"],"path":"/entities/joel-david-hamkins","json":"/entities/joel-david-hamkins.json","markdown":"/entities/joel-david-hamkins.md"}]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"04fe868346bea7c8f4af3644b126689099f4aa6511a77db3443c62d631f8b97f","revision":"76dda978-a918-4743-82cb-d43199a51840","revisionKind":"publication-id","title":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","url":"https://escapemeridian.com/readings/ahead-of-his-time-ai-helps-unlock-discoveries-hidden-in-04fe8683"},"source":{"type":"source","id":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","revision":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","revisionKind":"sha256-source-text","title":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."},"revisions":[{"id":"04fe868346bea7c8f4af3644b126689099f4aa6511a77db3443c62d631f8b97f","title":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","argument":"The Guardian reports that Finnish logician Jan von Plato used Claude to examine Kurt Gödel’s 1,009 pages of workbooks, much of them written in obsolete German shorthand. Von Plato says Claude connected material across the notebooks and produced a 650-page explanation in days, after progress had been about a page a week. He says the workbooks contain hundreds of theorems and more than a dozen unexplored themes in logic and foundations of mathematics.\n\nThe report describes a test case: whether the notebooks contained a proof concerning the independence of the axiom of choice. Von Plato says Claude found a nearly complete proof, but Gödel had used one wrong definition. Von Plato ran the reconstructed proof through Coq, a program that verifies mathematical proofs, and says it passed. Of 663 extracted results, he reports that about 400 were verified as stated, about 200 repaired, and about 50 false.\n\nThe account presents AI as helping a researcher compare a large body of difficult-to-read work, not as settling who deserves credit. Logician Joel David Hamkins had not seen the reconstruction; he said its historical significance depended on whether it stood up, and that historians must assess how much was Claude’s and how much Gödel’s. The report also notes that Gödel’s unpublished ideas do not automatically earn him credit for work he did not tell anyone about.","topicIds":["intelligence-and-discovery","power-and-infrastructure"],"domain":"science","claimType":"attributed reading","limits":"The findings and verification counts are reported through von Plato; the article does not provide the notebooks, Claude’s full output, or the Coq materials for independent examination. Hamkins had not seen Claude’s reconstruction, so the article does not establish his assessment of the proof itself. The report says about 200 results were repaired and about 50 were false; those approximate counts do not establish the status of every result or the historical authorship of the reconstructed proof.","speaker":{"name":"Alex Bellos","roleAtSource":"Article author"},"source":{"title":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","publisher":"The Guardian","format":"Article","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","publishedAt":"2026-11-13T16:38:27.000Z","dateBasis":"Date stated by the publisher."},"evidence":[{"text":"Jan von Plato enlisted Claude to analyze Gödel’s workbooks, after human progress had been about a page per week; he says the model produced a comprehensive digest in a couple of days.","excerpt":"Progress in the mathematical understanding of the text was painfully slow – about a page a week – until September, when von Plato enlisted the help of the AI model Claude.","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","relationship":"Source-stated"},{"text":"Von Plato reports that the workbooks contain 663 extracted results, with about 400 verified as stated, about 200 repaired, and about 50 false.","excerpt":"Claude found 663. When these results were put into Coq: “About 400 were verified as stated, about 200 were repaired","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","relationship":"Source-stated"},{"text":"Von Plato says Claude found a near-complete proof concerning the independence of the axiom of choice; Gödel had used one incorrect definition, and von Plato says the reconstructed proof passed Coq.","excerpt":"The answer came back: yes, almost. “He was just one step away,” said von Plato. “There’s one definition that Gödel got wrong","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","relationship":"Source-stated"},{"text":"Hamkins cautions that resemblance to a later proof does not establish that Gödel had that proof, and says historians must assess the respective contributions of Claude and Gödel.","excerpt":"Although how much is Claude and how much is Gödel is a job for the historians.","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","relationship":"Source-stated"}],"sourceMedia":{"status":"found","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","checkedAt":"2026-11-14T10:00:46.600Z","items":[{"type":"image","url":"https://i.guim.co.uk/img/media/6eeccf216579fe2181ae737d30f31abd7590125c/210_58_1759_1407/master/1759.jpg?width=465&dpr=1&s=none&crop=none","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","attribution":"The Guardian","basis":"publisher-embed","availability":"verified","label":"Kurt Gödel","verifiedAt":"2026-11-14T10:00:46.976Z"}],"note":"Media declared by the original publisher; availability checked separately from the editorial reading."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"How much of the reconstructed proof can historians attribute to Gödel, and does it stand up to scrutiny beyond the checks described by von Plato?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","summary":"The Guardian reports that Finnish logician Jan von Plato used Claude to examine Kurt Gödel’s 1,009 pages of workbooks, much of them written in obsolete German shorthand. Von Plato says Claude connected material across the notebooks and produced a 650-page explanation in days, after progress had been about a page a week. He says the workbooks contain hundreds of theorems and more than a dozen unexplored themes in logic and foundations of mathematics.\n\nThe report describes a test case: whether the notebooks contained a proof concerning the independence of the axiom of choice. Von Plato says Claude found a nearly complete proof, but Gödel had used one wrong definition. Von Plato ran the reconstructed proof through Coq, a program that verifies mathematical proofs, and says it passed. Of 663 extracted results, he reports that about 400 were verified as stated, about 200 repaired, and about 50 false.\n\nThe account presents AI as helping a researcher compare a large body of difficult-to-read work, not as settling who deserves credit. Logician Joel David Hamkins had not seen the reconstruction; he said its historical significance depended on whether it stood up, and that historians must assess how much was Claude’s and how much Gödel’s. The report also notes that Gödel’s unpublished ideas do not automatically earn him credit for work he did not tell anyone about.","question":"How much of the reconstructed proof can historians attribute to Gödel, and does it stand up to scrutiny beyond the checks described by von Plato?","claims":[{"text":"Jan von Plato enlisted Claude to analyze Gödel’s workbooks, after human progress had been about a page per week; he says the model produced a comprehensive digest in a couple of days.","excerpt":"Progress in the mathematical understanding of the text was painfully slow – about a page a week – until September, when von Plato enlisted the help of the AI model Claude.","support":"source-stated"},{"text":"Von Plato reports that the workbooks contain 663 extracted results, with about 400 verified as stated, about 200 repaired, and about 50 false.","excerpt":"Claude found 663. When these results were put into Coq: “About 400 were verified as stated, about 200 were repaired","support":"source-stated"},{"text":"Von Plato says Claude found a near-complete proof concerning the independence of the axiom of choice; Gödel had used one incorrect definition, and von Plato says the reconstructed proof passed Coq.","excerpt":"The answer came back: yes, almost. “He was just one step away,” said von Plato. “There’s one definition that Gödel got wrong","support":"source-stated"},{"text":"Hamkins cautions that resemblance to a later proof does not establish that Gödel had that proof, and says historians must assess the respective contributions of Claude and Gödel.","excerpt":"Although how much is Claude and how much is Gödel is a job for the historians.","support":"source-stated"}],"limitations":["The findings and verification counts are reported through von Plato; the article does not provide the notebooks, Claude’s full output, or the Coq materials for independent examination.","Hamkins had not seen Claude’s reconstruction, so the article does not establish his assessment of the proof itself.","The report says about 200 results were repaired and about 50 were false; those approximate counts do not establish the status of every result or the historical authorship of the reconstructed proof."],"mediaId":"12990af15e181ab96cfcd59af6eb8fe359a02784c42db964df77ea8b1b569aeb","correctionReason":null,"id":"04fe868346bea7c8f4af3644b126689099f4aa6511a77db3443c62d631f8b97f","publicationId":"76dda978-a918-4743-82cb-d43199a51840","version":1,"sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","sourceTitle":"‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths","publisher":"The Guardian Science","publishedAt":"2026-11-13T16:38:27.000Z","originalPublished":{"value":"2026-11-13T16:38:27.000Z","precision":"instant","basis":"publisher_page"},"firstObservedAt":"2026-11-14T09:54:26.921Z","createdAt":"2026-11-14T10:01:57.880Z","historical":false,"entityIds":["guardian-science"],"topicIds":["intelligence-and-discovery","power-and-infrastructure"],"media":[{"id":"12990af15e181ab96cfcd59af6eb8fe359a02784c42db964df77ea8b1b569aeb","kind":"article","url":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-14T10:00:46.976Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."},{"id":"66534e07022dee7fbdf06e95c7d6e5b7fb508ab6774b9dc1d4827c526c6c98ad","kind":"image","url":"https://i.guim.co.uk/img/media/6eeccf216579fe2181ae737d30f31abd7590125c/210_58_1759_1407/master/1759.jpg?width=465&dpr=1&s=none&crop=none","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","label":"Kurt Gödel","provenance":"publisher_page","verification":{"status":"verified","checkedAt":"2026-11-14T10:00:46.976Z","method":"publisher_association_and_head","contentType":"image/jpeg","cacheUntil":1794650746976},"recommendationReason":"Observed on the acquired publisher source; availability checked."}],"sourceMedia":{"status":"found","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","checkedAt":"2026-11-14T10:00:46.600Z","items":[{"type":"image","url":"https://i.guim.co.uk/img/media/6eeccf216579fe2181ae737d30f31abd7590125c/210_58_1759_1407/master/1759.jpg?width=465&dpr=1&s=none&crop=none","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","attribution":"The Guardian","basis":"publisher-embed","availability":"verified","label":"Kurt Gödel","verifiedAt":"2026-11-14T10:00:46.976Z"}],"note":"Media declared by the original publisher; availability checked separately from the editorial reading."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v7","mediaId":"12990af15e181ab96cfcd59af6eb8fe359a02784c42db964df77ea8b1b569aeb","confidence":0.75,"provider":"typesafe","model":"jev-1.13.0","inputHash":"6571d9f39c6c89b3ebb2e6aa00515bb0cde91aa2dce063b27a7f250d17a165e8","decidedAt":"2026-11-14T10:00:48.488Z"},"provenance":{"textHash":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","observationId":"ff6f9c31757a3e0b7f23851c7a3a1148d4cc8e98ffe71b3f8ebe241848fd5e49","retrievedAt":"2026-11-14T10:00:46.600Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"cfcb6f9b-1438-48c0-8772-c97d829edf8d"},"reviewer":{"model":"gpt-6-luna","runId":"7adb1102-8455-480b-8a67-cfcd1d3019a1"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-14T10:01:57.880Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Alex Bellos","url":null,"kind":"Person"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Alex Bellos","url":null,"kind":"Person","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Alex Bellos","status":"stated","provenance":{"basis":"article-jsonld","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","locator":"document/html[1]/head[0]/script[59]@2715[0].author"},"assertionId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-14T10:00:46.600Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","contentSha256":"3e95f0d478461ae82332348f32e7311642235310e87b9cf4c834b8879b858632","textHash":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","observedAt":"2026-11-14T10:00:46.600Z"}},{"actor":{"name":"The Guardian","url":"https://www.theguardian.com/","kind":"unknown","actorId":null},"role":"publisher","scope":{"kind":"publication","locator":null},"literalCredit":"The Guardian","status":"stated","provenance":{"basis":"article-publisher","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","locator":"document/html[1]/head[0]/script[59]@2715[0].publisher"},"assertionId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b:participation:1","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-14T10:00:46.600Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b","sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","contentSha256":"3e95f0d478461ae82332348f32e7311642235310e87b9cf4c834b8879b858632","textHash":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","observedAt":"2026-11-14T10:00:46.600Z"}}],"participationCoverage":{"total":2,"returned":2,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":{"name":"The Guardian","url":"https://www.theguardian.com/"},"sourceUrl":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","snapshotId":"949be954df01727e8ab5d331d59eca63f54ff001333a3cb4a47576d5138da39b","contentSha256":"3e95f0d478461ae82332348f32e7311642235310e87b9cf4c834b8879b858632","textHash":"7e9974a232c5d19ed64bc44cb621066f869a3fa562231730673b670691e3874a","observedAt":"2026-11-14T10:00:46.600Z","basis":"publisher-page-metadata","sourceLinks":11,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/04fe868346bea7c8f4af3644b126689099f4aa6511a77db3443c62d631f8b97f/source"}}}],"audits":[{"publicationId":"76dda978-a918-4743-82cb-d43199a51840","verdict":"uncertain","findings":[{"dimension":"attribution","status":"uncertain","explanation":"Most claims are correctly attributed to von Plato or Hamkins. However, the summary's final sentence says 'The report also notes' that unpublished ideas do not earn credit. That is Hamkins's quoted view, not the Guardian's own statement. Smallest repair: 'Hamkins added that you don't get credit for work you don't tell anyone about.' The draft also never attributes the 'hundreds of theorems' and 'discovered significantly more' framing to the Guardian's own narration.","excerpt":"You don’t get credit for work you don’t tell anyone about."},{"dimension":"summary","status":"uncertain","explanation":"Three gaps affect fidelity and readability. (1) Essential context is missing: the draft does not explain 'independence' (cannot be proved or disproved within a system). It also omits why the test was chosen: Gödel claimed in 1966 that he had already proved Cohen's result but could not reconstruct the proof. (2) An important condition is erased: von Plato said the 650-page output 'had to be controlled page for page.' (3) Voice and force are flattened. Von Plato's 'flabbergasted' and 'far ahead of his time' are missing, as is his belief that Gödel could have won a Fields medal. 'The account presents AI... not as settling credit' is an unlabeled EM framing that softens the article's confident narration.","excerpt":"It had to be controlled page for page, but it’s basically a work that is impossible to do for human beings"},{"dimension":"date","status":"pass","explanation":"originalPublished 2026-11-13T16:38:27Z is taken from the publisher page and matches the feed entry. The article's first publication is consistent with it.","excerpt":null},{"dimension":"support","status":"pass","explanation":"The claim excerpts are exact source text and support the stated claims. These include the page-a-week pace, the 663/400/200/50 counts, the near-complete proof with one wrong definition, the Coq check and Hamkins's caution. The limitations correctly note that the counts come through von Plato and that Hamkins had not seen the reconstruction. The question follows from Hamkins's stated uncertainty and is not leading.","excerpt":"has not seen Claude’s reconstruction of Gödel’s proof of the independence of the axiom of choice"},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct link to the original Guardian article. This is the most direct way to reach the source.","excerpt":null}],"createdAt":"2026-11-14T10:01:57.880Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}