Claude 破译哥德尔 1000 多页手写笔记，发现 400 多条新定理

AI 助手 Claude 在几天内解读了哥德尔 1000 多页加贝尔斯贝格速记手写笔记，发现 400 多条全新定理。它还揭示哥德尔在 1940 年代已接近证明选择公理独立性，这一成果原本可能改写数学史。