OpenAI 宣称 AI 产出 Kakeya、ETH 与 Yang–Mills 证明结果

OpenAI 宣称其 AI 产出三项跨领域研究结果，并提供 Lean 形式化与独立学术审查。结果涉及所有维度的局部光滑性、反驳 ETH，以及 QCD 与 Yang–Mills 存在性；ETH 结果不等于解决 P vs NP，Yang–Mills 存在性也未覆盖质量间隙，相关成果仍待学界独立确认。