前言
在数学发展的坐标系里，每个重要突破都是前人智慧的迭代与超越。当代数学工作者站在巨人的肩膀上，既见证着历史，也在创造历史，既有自我的挑战，也有来自AI的挑战。
从算筹到超级计算机，从莎草纸到arXiv预印本平台，数学记录的载体在变，但数学人追求真理的初心未改。我们最终会理解：历史终将公正地铭记那些推动文明前进的头脑。这或许就是数学给予见证者们最丰厚的馈赠——在永恒真理的星河中，每颗真诚思考的心灵都会找到属于自己的坐标，历史不会亏待她的见证者。
1700余名数学家联署请愿，要求大会迁出美国
2026年的国际数学家大会（ICM）原定于7月23日至30日在美国费城举行，这将是ICM时隔40年再次回到美国。然而就在开幕前夕，一封由两位菲尔兹奖得主和逾千名数学家联署的公开抗议书在学界广泛流传。请愿者措辞鲜明地表示：若大会坚持在美国举行，他们将集体拒绝出席，并呼吁国际数学联盟（IMU）重新审议这一决定。
这场风波的导火索，直指美国当前的政策与环境。请愿书指出，美国已暂停对全球75个国家公民的常规签证审批，使大量受邀数学家连入境都成为难题；而即便入境，他们也可能面临来自移民执法部门的无差别骚扰乃至人身暴力。事实上，早在今年1月，法国数学学会便已率先公开表态，宣布不会前往费城出席ICM。截至3月底，签名人数已超过1700，其中包括1998年菲尔兹奖得主蒂莫西·高尔斯、2018年菲尔兹奖得主考切尔·比尔卡尔等重量级学者。
ICM创办于1897年，每四年举办一届，是全球数学家共聚一堂的最高平台。数学界最高荣誉——菲尔兹奖——正是在ICM的颁奖典礼上揭晓。面对这场可能是近年数学界规模最大的公开联署行动，国际数学联盟和大会主要资助方西蒙斯基金会至今保持沉默。这场“学术风暴”最终将走向何方，是迁址、延期还是如期举行，目前仍悬而未决。
OpenAI GPT-5.6 Sol Ultra一小时攻克50年图论难题
在AI与数学的交汇点上，本周同样传来重磅消息。7月10日，OpenAI宣布其旗下GPT-5.6 Sol Ultra模型在不到1小时内，成功生成了图论领域悬而未决长达50多年的“循环双覆盖猜想”（Cycle Double Cover Conjecture）的完整证明。
该猜想由数学家George Szekeres于1973年、Paul Seymour于1979年分别独立提出，核心问题是：对于任意无桥图，是否都存在一组循环，使得图中的每一条边都恰好出现在两个循环中？OpenAI研究员Ethan Knight在X平台披露，模型利用64个子智能体并行工作，并安排了专门的“对抗智能体”负责寻找漏洞和潜在错误。英国曼彻斯特大学数学家Thomas Bloom评价称“这是一个非常漂亮的证明”，其方法简洁、基础，如果当年有人想到，20世纪80年代就有可能完成。
不过，Bloom也指出了明显问题：整篇证明没有引用任何已有文献。目前，这份证明尚未经过正式同行评审，也没有使用Lean等形式化证明工具进行机器验证。据估算，完成这次推理所消耗的计算资源成本约为275至485美元。
章志飞、韦东奕荣获国家自然科学奖二等奖
在国内，7月8日召开的2025年度国家科学技术奖励大会上，北京大学数学科学学院传来喜讯。章志飞教授（第一完成人）与韦东奕研究员（第二完成人）负责完成的“流动转捩机理的数学研究”项目，荣获国家自然科学奖二等奖。
该项目通过引入原创性的数学方法，解决了奥森涡算子的拟谱界猜测、剪切流的无粘阻尼问题以及三维库埃特流的转捩阈值猜测等流动稳定性领域的一系列核心数学难题。这些工作深刻揭示了亚临界转捩的关键物理机制，为研究层流到湍流的转捩机理提供了新的理论工具和数学框架。章志飞教授曾受邀在2022年国际数学家大会上作45分钟报告；韦东奕则于2026年2月正式获聘北京大学长聘副教授。
国家自然科学奖是我国最重要的国家科学技术奖之一，授予在基础研究和应用基础研究中做出重大科学发现的优秀科技工作者。一个月内，韦东奕已先后获得北京市杰出青年中关村奖与国家自然科学奖二等奖两项荣誉。
中科院发布全流程数学研究智能体MMAT
7月6日，中国科学院数学与系统科学研究院正式发布了基于大语言模型的数学研究智能体——“数学机械化智能体”（MechMath Agent Team，简称MMAT）。该智能体搭建起覆盖数学研究全流程的研究框架，标志着我国大模型驱动的定理证明技术实现前沿科研级突破。
研发团队负责人高小山研究员介绍，MMAT采用分层多智能体协同的核心设计思路，打造了20个具备专项能力的子智能体。经过两个月内部测试验证，MMAT独立或与数学家交互攻克了代数计算理论、微分代数、数论领域8项长期公开问题。其中2项问题由MMAT全自动独立解决，6项问题的核心关键引理由MMAT完成证明。
中国科学院院士、数学院院长张平指出，MMAT不只是单项技术的创新突破，更有望推动数学研究范式的深层次变革。未来，数学研究将形成由人类数学家提出科研问题、大模型开展探索推演、智能体完成精准计算、形式化系统筑牢严谨性底线的全新协同模式。
参考资料
1，菲尔兹奖得主领衔千名数学家联名抗议，2026年国际数学家大会（ICM）或将迁址
2，OpenAI GPT-5.6 Sol Ultra证明了一个已有50年历史的数学猜想
https://www.toutiao.com/article/7661436343893754419/
3，章志飞、韦东奕，荣获国家自然科学奖二等奖
https://cbgc.scol.com.cn/news/7741937
4，"数学机械化智能体"成果发布会在我院举行
https://amss.cas.cn/zhxw/XW2026/202607/t20260707\_8242609.html
