OpenAI再报三项数理突破，并公布把AI结果交给学界“牧羊”的发布计划

OpenAI近日又公布三项据称由内部AI模型取得的数学与科学突破，并说明如何把这些产出交给学界整理。其一是宣称推翻指数时间假设（Exponential Time Hypothesis，ETH）——该假设常被用于界定许多优化与算法问题在非多项式时间内的难度。其二涉及波与谐波研究中的Kakeya猜想：据称找到适用于所有维度的local smoothing conjecture新证明。其三在物理方向，称已证明若干含规范场与费米子的四维相互作用量子场论，包括量子色动力学（QCD）以及标准模型的一种统一补全。本月初OpenAI曾在GitHub抛出377项数学结果，博文措辞偏防御，谈及赋能科学家并以负责任方式发布产出这些结果的模型；此前顾问组已批评私营公司用未公开内部模型宣称取得突破，而OpenAI似曾如此操作。此次OpenAI强调不寻求为内部模型产出的发现争学术署名，并希望把AI生成发现的功劳分散到数学与物理社群；做法是发布模型生成文本，称之为“原始研究数据”，由学界转化为科学理解；数学结果据称已在证明助手Lean中形式化或核验。Lean依赖已引发争议：有人认为其对Navier-Stokes千年问题的核验其实只验证了弱于最初公布表述的断言。OpenAI称已联系外部专家作“shepherd”，组织团队把AI输出转成人类知识，并承认人选会决定谁先介入、造成信息不对称。部分“原始”材料已上GitHub，但物理组决定暂不公开AI产物、改由自己撰写。