OpenAI 宣布三项数理科研发现并尝试由学者引导验证的新合作模式

OpenAI 宣布在数学、计算机科学与物理学领域取得三项科研发现，并采用由外部专家引导验证与解释的新学术合作模式。涉及成果包括欧几里得波动方程局部平滑证明、宣称推翻指数时间假说（ETH）的算法与 Lean 证明，以及四维量子场论的存在性证明。相关材料已部分上传至 GitHub，专家工作组同时发布公开信探讨 AI 科研成果的准入与归属规范。