OpenAI 邀请外部专家及诺奖得主审查 AI 生成的数学、计算机科学与物理证明

OpenAI 称其 AI 在数学、计算机科学和物理学中生成了重要证明，并邀请外部专家以不同方式组织审查。相关主张包括否定指数时间假设（ETH）、证明所有维度的局部光滑性猜想，以及证明若干四维量子场论的数学存在性，但不包括 Yang-Mills 质量间隙问题。