OpenAI 宣布在数学、计算机科学和物理学领域取得三项重大突破

OpenAI 于2026年10月26日宣布，其模型在调和分析、计算复杂性和量子场论方向生成三项研究结果，关注价值在于AI科研能力的讨论从辅助检索和计算，延伸到猜想证明与理论解释，但这些结果仍处于外部验证阶段。

• OpenAI称，数学结果涉及所有维度的局部光滑猜想，并通过Lean完成形式化；计算机科学结果则声称否定指数时间假设。
• 公司为计算机科学结果安排了由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 等学者参与的外部合作。
• 物理学结果的AI生成材料暂未全部公开，外部团队将参与整理和判断。
• Lean形式化可以检查形式推导是否符合系统规则，但不能自动证明问题建模、前提选择和现实解释都正确。
• 影响/看点：若独立学者确认这些结论，AI可能改变复杂理论研究的发现和验证流程；在此之前，公开证明、同行复核和独立重建仍是判断其科学地位的必要条件。
• 资料依据:
• OpenAI（2026-10-26）：Working with academic communities to build scientific understanding https://openai.com/index/building-scientific-understanding-with-academic-communities/
• OpenAI GitHub（2026-10-26）：公开的AI生成证明与Lean形式化材料 https://github.com/openai/math

本内容由 AI 生成，仅供参考，请注意甄别