The Decoder· Maximilian Schreiner·· 2 小时前同事件AI 评分77
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 模型在数学、计算机科学和物理学领域产出了多项重要证明，包括反驳计算机科学中的核心假设、证明局部平滑猜想及部分解决杨-米尔斯存在性问题。OpenAI 已将部分证明转换为 Lean 语言，并邀请包括诺贝尔奖得主在内的外部专家团队对这些原始研究成果进行独立审核与评估。
同一件事，精选收录的是《OpenAI 公布数学、计算机科学与物理学三项新发现及学术合作策略》
来源：The Decoder · the-decoder.com