AI助力解锁数学家手稿中隐藏的发现

奥地利逻辑学家库尔特·哥德尔留下了1009页密集的文本，其中大部分使用的是过时的速记法。现在据说其中包含数百个已证明的定理。哥德尔是20世纪最具原创性的思想家之一，他在1931年发表的两个不完备性定理改变了数学，并为数字时代铺平了道路。

本文由人工智能根据 The Guardian 的公开报道翻译、整理，仅供参考，请以原文为准；原文版权归原媒体所有。如有版权问题，请联系我们。