卫报

研究者借助 AI 对库尔特·哥德尔遗留的 1009 页密集手稿进行识别与形式化处理，其中大量内容以已废弃的速记符号书写。据称这批手稿中蕴含数百条此前从未公开的已证明定理，被视为数学史与 AI for Science 交叉的标志性进展。