新智元深度对话清华大学教授沈阳。沈阳提出自进化数学（PCU框架）、自进化算法优化（PAE框架）、自进化软件工程（ECX范式）及AI社会未来两种终局前景等四重核心思考，并透露其团队用AI整理出118511个数学猜想并评出前100名，其中哥德巴赫猜想排第49。
在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士励建书与中国工程院院士王坚共同启动“未来数学计划”，并围绕“AI+数学：变与不变”展开主题对话。该计划围绕AI与数学双向赋能，重点开展数学基础模型研发、形式化验证、AI数学机理研究及数学基础能力赋能其他学科四方面工作，并建立开放创新合作机制。
丘成桐发起并联合多家数学科研机构成立丘成桐数学与人工智能实验室联盟，在致辞中呼吁更多数学家参与人工智能研究，提升人工智能数学推理能力；联盟将汇聚千余名科研人员，聚焦数学科学专用大模型、人工智能辅助数学证明等方向开展研究。
10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，致力于推动AI与数学深度融合，并发布10余项“AI+数学”重点成果和研究方向，涉及退化阿诺德猜想、极小修改的有界性、7维同伦球面等科学问题，覆盖几何、量子计算、生命科学等方向；AI在其中主要充当辅助探索证明策略、简化计算与思路启发的“辅助者”角色。
纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格以个人身份合作研究欧拉方程和纳维-斯托克斯方程相关问题近一年，借助AI工具完成部分计算和形式化验证。研究进展在社交媒体流传后，OpenAI调动大批AI智能体集中研究同一方向，模型在88小时内给出相关证明。双方随后分别发布成果，巴克马斯特质疑OpenAI介入研究的方式，OpenAI否认在成果公开前接触对方论文。
陶哲轩回应称未参与Claude破解纳维斯托克方程传闻，提出AI竞赛可能浪费数学问题价值，并设计“假如AI早来20年”思想实验，建议AI公司优先宣布新数学见解而非解决方案。
陈小杨就AI在数学领域的作用发表观点，认为大猜想的证明需要突破现有工具，这是AI尚未具备的能力；而构造反例本质上是一场极其复杂的搜索，恰好发挥了AI擅长海量计算与自我迭代的优势。
陶哲轩在2026年ICM演讲中提出“证明消化不良”概念，指出AI生成证明速度远超人类审核能力，数学进入证明过剩时代。他提出新准则：作者无法以专家水平清晰解释其结果，即使通过Lean等工具验证也不应发表。他还将AI产出的森多夫猜想证明从9万行Lean代码整理为1.5万行，并连带解决1972年的菲尔普斯-罗德里格斯猜想。
菲尔兹奖得主陶哲轩在ICM 2026上发表演讲，警告AI大规模介入数学证明正引发信任危机。他引用2026年7月OpenAI推理模型攻破几何猜想但被识破的案例，指出AI证明存在“形式正确但语义不忠实”的根本缺陷，并强调“语义忠实度”比格式合规更重要，呼吁关注AI在数学推理中的风险。
陶哲轩在2026年国际数学家大会上警示，AI正将数学推向“证明过剩”时代，并可能导致下一代数学家丧失数学直觉。他提到AI在开放数学问题上的成功率仅为1%到2%，并提出了“如果作者不能清晰阐释成果，即使通过形式化验证也不应发表”的准则。