The Verge · AI· Richard Lawler·· 2 小时前精选AI 评分82
OpenAI 宣布三项科学发现并引入外部专家验证机制
OpenAI announces three big science discoveries and a new way to work with academics
AI 导读
OpenAI 宣布在数学、计算机科学和物理领域取得三项新发现，并将模型输出与 Lean 证明公开发布到 GitHub，同时引入外部专家指导核查。
推荐理由
相比不到一个月前直接发布数百份手稿，这次 OpenAI 引入外部专家引导核查并公开 Lean 证明，读者可看到 AI 生成科研成果的验证流程正在变化。
来源：The Verge · AI · theverge.com