首页
科技要闻
互联网
手机
家电
机器人
5G/通信
数码
人工智能
硬件
IT
资讯
业界
科技金融
企业动态
半导体
iOS
Android
Mac
标签 >
Claude破译哥德尔天书!80年笔记震撼数学界:他离菲奖只剩最后一步
Claude 破译哥德尔 80 年未公开笔记挖出 663 条候选定理,离菲尔兹奖级证明只差一步
核心结论:芬兰赫尔辛基大学逻辑学家 Jan von Plato 团队从 2017 年起破译哥德尔 1940 年代初写下的 16 本、共 1009 页加贝尔
2026-11-15 08:19:42