登录

计算机科学

分类

领域

其次，由OpenAI提供资金，举办一场学术会议，讨论新成果对计算机科学领域的整体影响。

文章

方面

计算机科学方面的发现涉及指数时间假设（ETH）。

文章

成果

OpenAI表示，数学和计算机科学成果已通过Lean数学验证工具进行形式化验证，并公开证明材料；

文章