“领先于时代”：人工智能帮助揭开隐藏在改变数学的人笔记本中的发现
來源 卫报科技2 小時前
Summary
This item is a 英文-language original; headline and summary shown as published.
库尔特·哥德尔 (Kurt Gödel) 留下了 1,009 页密密麻麻的文字，其中大部分是过时的速记文字，据说其中包含数百个已证明的定理。
本站僅提供標題與摘要索引，完整內容與版權均歸原發布方所有，請點擊原文連結閱讀。
前往原文- 所屬頻道
- 科技
- 所屬地區
- 英國
- Language
- English
- Item ID
- tech-c99499af
Comments 0 comments
No comments yet. Be the first.