OpenAI公布其内部模型提出的三项研究主张，涵盖调和分析、计算复杂性与量子场论，并邀请外部学术团队参与解释与验证。公司对三项工作的材料采取不同公开策略，强调模型输出需独立检验，学术地位以后续公开与同行复核为准。
OpenAI在10月26日公布三项由其内部模型提出的研究主张，涉及调和分析、计算复杂性理论和量子场论。与单纯发布论文不同，这次公司称已邀请外部专家组织学术协作，并针对三项工作采取不同的材料发布策略。不过，OpenAI也强调，模型输出仍是有待理解和检验的研究材料；公告并不等于相关结论已获学界独立确认。[1]
这三项主张横跨纯数学、理论计算机科学和理论物理，论断本身分量不轻：包括局部光滑性猜想、指数时间假设（ETH）的反例，以及四维量子色动力学（QCD）等理论的数学存在性。OpenAI将它们称为新发现，但目前读者需要区分“公司报告模型得出了结果”与“独立研究者完成验证并形成学术共识”。
同一批结果，三种发布安排
OpenAI说，外部专家担任协作的组织者，分别建议了不同路径。数学结果的模型输出将公开，研究者可自行组织分析；计算机科学结果由外部协作者参与解释，同时向公众开放模型输出；物理结果则由外部团队参与，材料何时发布由该团队决定。[1]
公司称，合作遵循透明、区分学术贡献、承认协作者工作和保持独立等原则：参与者无需签署保密协议，可讨论工作并发表结论；协作者参与不意味着他们作出了原始发现；参与自愿且无偿，结论由研究者独立负责，不代表OpenAI立场。公司还表示，会向合作团队移交相关材料和研究产物。[1]
这套安排把“谁先看到材料、谁能解释结果、如何署名和公开”纳入了发布流程。OpenAI同时承认，让少数专家先行组织协作会影响最初参与者的范围，也可能造成信息不对称；公司表示欢迎社群就如何扩大参与提出意见。[1]
数学与计算复杂性：主张仍须接受外部检验
在数学方面，OpenAI称其模型得出了所有维度的局部光滑性猜想证明，并据此解决Kakeya猜想和Stein限制猜想。公告称，这项结果基于一个新的辅助偏微分方程；模型输出在10月18日取得，次日完成Lean形式化。按照外部专家的建议，公司决定公开这项数学工作的模型输出。[1]
这里的“解决”是OpenAI对模型结果的描述，不应被误读为数学界已认可这些猜想已获证明。Lean是一种可由计算机检查形式化证明的工具：它能验证形式化表达中的推理步骤是否符合系统规则，但并不能单独替代对定义、论证与研究贡献的学术审查。OpenAI在此前公开数学材料时，也将手稿描述为原始研究数据，并承认成果处于不同验证阶段；该公司维护的数学研究材料仓库说明，部分结果尚无Lean形式化，未形式化内容也可能存在问题。[2][3]
计算机科学方面，OpenAI称模型近期证明了指数时间假设为假，随后以Lean验证该结果。ETH长期被理论计算机科学研究用作推导计算困难性的假设；若其被推翻，相关领域的一些条件性下界将需要重新审视。但这并不自动意味着实际应用中的算法会立即变快。OpenAI也指出，从理论结果走向更快算法、再转化为实际改进，仍需大量后续研究。[1]
公司称，负责这项工作的外部小组决定立即公开自然语言证明和Lean形式化材料，供他人检查和继续研究。对一项挑战广泛使用理论假设的结果而言，可供复核的材料是重要起点；但公开证明本身并非独立复核已经完成的证据。[1]
物理结果为何暂不公开
第三项工作涉及四维量子场论的存在性。OpenAI称，模型给出了若干包含规范场和费米子的相互作用量子场论的严格存在性证明，其中包括QCD及标准模型的一种统一补全；工作建立在构造性量子场论研究者的既有方法之上。公司还称，相关研究包含纯杨–米尔斯理论的存在性证明。[1]
杨–米尔斯理论与强相互作用的数学基础有关。克莱数学研究所列出的杨–米尔斯与质量间隙问题，要求在数学上严格构造相应的量子杨–米尔斯理论，并证明质量间隙等性质；它是该研究所千禧年大奖难题之一。[4] 因此，OpenAI公告中关于相关理论存在性的表述涉及深层数学问题，但不能仅凭公司公告推断该问题已被正式解决，仍需看具体论文、证明材料及独立审查的结论。
OpenAI称，物理协作团队选择暂缓公开模型生成的材料，先由团队自行撰写说明。公司说，模型在9月9日生成杨–米尔斯存在性证明、9月18日生成QCD相关证明；杨–米尔斯形式化于10月16日完成后，公司进一步组织协作。上述时间和进展均来自OpenAI的自述，独立核验仍有待材料开放及研究者审查。[1]
衡量成果的不只是模型输出
三项工作采用不同发布方式，反映出研究结果的复杂程度、复核需求和协作安排并不相同。公开材料有助于研究者查验和讨论；由外部团队解释、整理材料，则可能让模型输出更容易进入专业语境。但两者都不能替代学术共同体对正确性、重要性、既有研究关系和署名归属的判断。
OpenAI表示，公司不会为内部模型产生的发现寻求学术功劳；协作者应获得其解释、论文和其他材料工作的认可。接下来需要观察的是，模型输出是否能经受独立复核，协作团队能否公开其推理与结论，以及这些过程能否让更广泛的学术社群参与。对读者而言，现阶段最稳妥的表述是：OpenAI报告了三项重大研究主张，并公布了各自的协作与材料处理方案；这些主张的学术地位仍取决于后续公开和独立检验。[1]
这也延续了AI生成数学成果讨论中的核心问题：可复核材料、计算过程与版本记录能提高透明度，却不等于研究结论已经获得认可。AIFluxNews此前关于OpenAI公开数学研究材料及Lean形式化工作的报道指出，形式化检查和学术评议回答的是不同问题；这次公告进一步把外部解释与材料发布决策纳入了流程。