# 数学逻辑

AI解析戈德尔手稿：发现数百已证实定理

AI助力解析戈德尔千页速记手稿，数天内完成人类需一年才能处理的工作量。研究揭示其早在40年代便发现数百个已证实定理及超前逻辑成果，远超学界此前认知。