AI模型Claude帮助解读哥德尔笔记，揭示20世纪数学巨匠哥德尔未公开作品中的数百个已证明定理。
20世纪数学巨匠哥德尔留下的1009页密密麻麻的文字，其中大部分使用已废弃的缩写，据称包含数百个已证明的定理。芬兰逻辑学家Jan von Plato自2017年起领导赫尔辛基大学的项目，试图理解哥德尔在1940年代初撰写的16本笔记本的内容。这些“工作簿”包含关于数学和逻辑的密集文字。大部分内容使用德国缩写Gabelsberger，即使在哥德尔使用时也已过时。数学理解文本的进展缓慢，直到9月，von Plato借助AI模型Claude，几天内就提供了整个材料的全面摘要，揭示了哥德尔证明了数百个无人知晓的定理。哥德尔实际上发现的比人们想象的要多得多。
原文链接: https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths