Alex Bellos

“领先于他的时代”：AI 揭开改写数学的人笔记本里隐藏的发现

库尔特·哥德尔留下 1,009 页密密麻麻的速记，其中隐藏着数百条已证明的定理。在 Claude 的帮助下，一位芬兰逻辑学家几天内就读完了它们。