OpenAI 宣布三项重大科学发现及与学术界合作新方式

OpenAI 宣布在数学、计算机科学和物理领域取得三项重大科学发现，其中计算机科学的指数时间假设反驳已通过 GitHub 公开 Lean 形式化证明供专家评审。数学成果包含欧几里得波动方程局部平滑的完整维度证明，物理成果为四维规范场论的严格存在性证明。AGMAI 顾问小组建议未来 AI 实验室应将成果发布于学术存储库并提供充分验证支持。