AI几天读完哥德尔手稿，据说其中包含数百个已证明的定理
📝
内容提要
赫尔辛基大学的一位逻辑学家把AI接入了哥德尔沉睡八十多年的速记手稿，几天之内，机器从一千多页潦草笔记里翻出了数百条此前无人知晓的数学命题。
🏷️
➡️
