近日，OpenAI官方正式宣布其人工智能模型在数学、计算机科学和物理学领域取得了三项重大科学发现，分别涉及调和分析、计算复杂度理论以及量子场论。为了将这些前沿的原始研究数据转化为真正的科学理解，OpenAI创新性地尝试了与外部学术社区进行深度合作的新模式，并针对不同领域的成果制定了多元化的发布策略。
在调和分析领域，模型成功给出了各维度下局部光滑（local smoothing）猜想的证明，从而在所有维度上直接解决了数学界的 Kakeya 猜想与 Stein 限制猜想。新证明基于一个新颖的辅助偏微分方程。OpenAI已在公开的GitHub 仓库中发布了由模型生成的AI 自然语言输出报告以及Lean 证明。
在计算机科学领域，系统证明了长期被视为真的指数时间假说（ETH）为假，该猜想与著名的 P vs. NP 问题密切相关，此前已被数百篇论文广泛用于推导条件计算硬度。该结果同样在 Lean 中得到了验证。这项工作已交由由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的顶尖专家团队进行验证和指导，相关成果与 Lean 形式化证明已同步在GitHub 仓库公开。
在物理学领域，模型为四维中包含规范场和费米子的某些相互作用量子场论（包括量子色动力学QCD及粒子物理学标准模型的统一完备化）提供了数学上严格的存在性证明，其中作为子问题还包括纯 Yang–Mills 理论存在性的证明，这也是 Clay 数学研究所千禧年大奖难题的一部分。该项复杂的工作由 David Gross 领衔的物理学家小组(包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov)共同推进，相关通信可发送至指定邮箱:YANGMILLS4D@gmail.com。
为了全面支持学术界独立审查和深入探讨这些突破性成果，OpenAI此前已向 Simons 基金会提供了500万美元捐款，用于资助相关研讨会、会议和特别项目。这一系列举措不仅展示了AI在基础科学前沿研究中的巨大潜力，也标志着现代理论物理学与数学正加速向更高标准的严格化领域迈进。
