跳到正文
The Verge · AI· Richard Lawler·· 2 天前精选AI 评分88

OpenAI 公布数学、计算机科学与物理三项发现,并引入外部专家把关

OpenAI announces three big science discoveries and a new way to work with academics

AI 导读

OpenAI 公布数学、计算机科学和物理三项“重大”发现,其中数学与计算机科学结果已连同 Lean 证明发布到 GitHub。

推荐理由

OpenAI 公布三项 AI 辅助成果,并首次引入外部专家把关,读者可据此观察 AI 产出如何进入学术验证流程。

来源:The Verge · AI · theverge.com