‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
来源 卫报科技1 小时前
内容摘要
本条为 英文 原文，标题与摘要按原语言呈现。
Kurt Gödel left 1,009 pages of densely written text – much of it in an obsolete shorthand – which is now said to contain hundreds of proved theorems The Austri…
本站仅提供标题与摘要索引，完整内容与版权均归原发布方所有，请点击原文链接阅读。
前往原文- 所属频道
- 科技
- 所属地区
- 英国
- 原文语种
- English
- 条目编号
- tech-c99499af
评论 0 条评论
还没有评论，来抢沙发