The Decoder· Maximilian Schreiner·· 3 小时前同新闻AI 评分86
OpenAI 邀请诺贝尔奖得主等外部专家验证其 AI 在数学、计算机与物理学领域的成果
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 邀请包括诺贝尔奖得主在内的外部专家，对其 AI 系统在数学、计算机科学和物理学领域生成的证明进行验证。这些成果涉及指数时间假设、局部平滑猜想以及量子场论的存在性证明，目前正由独立专家组使用 Lean 语言和同行评审进行仔细审查。
同一新闻，精选展示《OpenAI 模型一次性公布三项数学与物理领域的前沿突破成果》
来源：The Decoder · the-decoder.com