OpenAI 宣称取得三项重大科学成果 挑战近 30 年计算机科学假设

What the source reports

OpenAI 宣称在数学、计算机科学、物理学三个领域取得重大科学成果：证伪提出近 30 年、被理论计算机界广泛用作研究基础的指数时间假设（ETH），相关反证将由 ETH 原始提出者等领域专家组织独立审查。证明所有维度下的局部光滑化猜想，进而解决全维度挂谷猜想与 Stein 限制猜想，相关形式化证明直接公开供学界自行复核。完成四维量子场论相关的严格数学存在性证明，包含杨-米尔斯理论的存在性部分，该成果将由诺奖得主 David Gross 牵头的专家组先行整理后再推进公开。不同于此前一次性公开 722 篇数学手稿的模式，OpenAI 针对不同学科成果采用了差异化的公开与审查安排，将 AI 生成的证明定位为原始研究数据，把 AI 产出证明和人类完成科学理解的过程分开，同时配套相关支持举措，探索 AI 生成大量前沿科研成果后，人类学界消化、验证并转化这些新知识的可行机制。