北京时间10月27日，<a data-unique-id="mvrt2s43-8vrrd4" href="https://mp.weixin.qq.com/s?__biz=MzIyNDA2NTI4Mg==&mid=2655555998&idx=1&sn=471a4f20c21a71e57a1533cc4bb8ae18&scene=142#wechat_redirect" class="normal_text_link mp_article_text_link" target="_blank" data-itemshowtype="11">OpenAI宣布解决了杨-米尔斯的存在性</a>。如果杨振宁先生看到OpenAI做的事情，不知道会有怎样的评论？
两天前，北京大学北京国际数学研究中心教授<a data-unique-id="mvrtmi91-bfhtlx" href="https://mp.weixin.qq.com/s?__biz=MzIyNDA2NTI4Mg==&mid=2655555966&idx=1&sn=2caab048dbcd57732aee422257054b45&scene=142#wechat_redirect" class="normal_text_link mp_article_text_link" target="_blank" data-itemshowtype="0">孙鑫在《知识分子》《赛先生》举办的“AI对数学家到底意味着什么”论坛发表演讲</a>，提到了AI解决杨-米尔斯千禧年问题的话题：
场论构造在AI出现以前已有相对成熟的路线，主要困难在技术上的复杂性，这点相信AI可以克服。质量间隙问题则仍需新的想法，然而鉴于OpenAI在二维非线性σ模型上取得的进展，在一两年内某AI公司完全解决杨–米尔斯问题并不令人惊讶。届时，理解证明、提炼思想仍将是极其艰巨而重要的任务，因为杨-米尔斯问题的解决不是终点，而是人类建立量子场论数学基础的起点。
（注：1954 年，杨振宁、罗伯特・米尔斯提出杨-米尔斯规范场理论，这也是粒子物理标准模型的数学根基。OpenAI宣称已解决杨-米尔斯的存在性，但尚未涉及另一项核心要求——证明质量间隙。大家觉得，OpenAI再过多久可以完全解决杨-米尔斯问题？）
以下为孙鑫教授演讲全文的链接。