Claude 破译哥德尔 80 年未公开笔记挖出 663 条候选定理,离菲尔兹奖级证明只差一步

核心结论:芬兰赫尔辛基大学逻辑学家 Jan von Plato 团队从 2017 年起破译哥德尔 1940 年代初写下的 16 本、共 1009 页加贝尔