❯ OpenAI 公布三项 AI 科学研究结果，邀请学界独立核查

三项结果进入公开研究OpenAI 于 10 月 26 日宣布，其内部模型在数学、计算机科学和物理学中产出三项研究结果：涉及局部平滑与 Kakeya 猜想、指数时间假设，以及四维量子场论的存在性问题。公司将这些材料定位为需要学界理解和检验的原始研究数据，并针对不同领域安排不同的开放与协作方式。

指数时间假设是核心看点指数时间假设讨论某类布尔逻辑求解问题能否突破特定的指数时间限制，长期被用于推导其他计算问题有多难。OpenAI 称模型找到了否定该假设的证明，并发布自然语言稿和 Lean 形式化材料；Lean 是让计算机逐步检查逻辑推导的工具。研究由包括该假设提出者在内的外部专家组织进一步核查和解释。这一主张也不直接等于证明了 P＝NP，或已经获得实用的高速算法。

公开方式也是实验数学材料直接开放；计算机科学材料开放并组织协作；物理材料则暂交外部团队整理，未同步全部公开。物理结果涉及杨–米尔斯理论的存在性，不能仅据此写成完整解决“存在性与质量间隙”千禧难题。正式题目还要求建立正的质量间隙，即最低激发能量与真空之间存在严格大于零的差距。

▮ SIGNALAI 科研正在同时考验产出证明的能力，以及把机器生成结果转化为可独立理解、核查和复用的学术知识的能力。