OpenAI 称模型证明 Yang-Mills 理论存在性,但仅五名物理学家可见
OpenAI 于 10 月 26 日称其内部模型给出了四维 Yang-Mills 理论存在性的数学证明,覆盖千禧年难题两部分中的第一部分,但证明目前只交给 David Gross 等五名物理学家审阅。OpenAI 表示该证明已在 Lean 中完成验证,验证于 10 月 16 日结束,且仅涉及 Yang-Mills 而非 QCD,Lean 也不保证形式化翻译与物理表述一致。同一批公布还包括调和分析中的局部光滑猜想证明,以及对指数时间假说的反驳;Clay 研究所表示暂不会颁奖,需先经期刊发表和两年同行认可。
#论文/研究#OpenAI#行业动态