OpenAI声称补上杨振宁当年的遗憾？其模型证明杨-米尔斯场论存在，但结果尚未核实

OpenAI称其内部模型证明了四维纯杨-米尔斯场论及QCD的数学存在，但相关物理材料尚未公开，结论也未获核实。该成果只完成千禧年问题“杨-米尔斯场论与质量间隙”的存在性部分，未解决质量间隙，也未纳入引力。模型9月9日输出纯杨-米尔斯证明，9月18日证明QCD存在，10月16日完成杨-米尔斯部分的Lean形式化。