The Decoder· Maximilian Schreiner·· 1 天前精选AI 评分77
OpenAI 称其 AI 证明 ETH 为假、局部平滑猜想与四维量子场论存在性，并请诺奖得主等外部专家审查
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 表示其 AI 在数学、计算机科学和物理领域产出重大证明，已邀请外部专家担任审查向导，并将部分证明翻译为 Lean 供计算机逐步检验。
推荐理由
原文交代了三个领域证明的独立审查安排与已公开的 Lean 证明，读者可以据此了解学术界如何核验这类 AI 研究结果。
来源：The Decoder · the-decoder.com