OpenAI 公布三项 AI 科研结果并引入外部专家核验安排

OpenAI 公布由 AI 生成的三项科学结果，称其涵盖至少二维空间中的局部平滑证明、否定 ETH，以及四维量子场论存在性证明。数学结果已按顾问建议公开，计科结果在 GitHub 发布模型输出和 Lean 证明并由独立专家组核验，物理学材料尚未完整公开。AGMAI 不建议指定专家优先获取，主张在学术仓储公开 Lean 形式化证明、选题说明，并为理解这些结果的工作提供资金。