The Decoder· Maximilian Schreiner·· 2 小时前精选AI 评分70
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 语言以供形式化验证，并承诺资助相关会议。专家团队独立审查，不构成背书，同时引发对 AI 研究验证机制、学术归属和开放性等问题的讨论。
推荐理由
OpenAI 邀请外部专家验证其 AI 生成的数学、计算机科学和物理领域证明，引发对 AI 研究验证机制和学术归属的讨论。
来源：The Decoder · the-decoder.com