前言在数学发展的坐标系里每个重要突破都是前人智慧的迭代与超越。当代数学工作者站在巨人的肩膀上既见证着历史也在创造历史既有自我的挑战也有来自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月正式获聘北京大学长聘副教授。国家自然科学奖是我国最重要的国家科学技术奖之一授予在基础研究和应用基础研究中做出重大科学发现的优秀科技工作者。一个月内韦东奕已先后获得北京市杰出青年中关村奖与国家自然科学奖二等奖两项荣誉。中科院发布全流程数学研究智能体MMAT7月6日中国科学院数学与系统科学研究院正式发布了基于大语言模型的数学研究智能体——“数学机械化智能体”MechMath Agent Team简称MMAT。该智能体搭建起覆盖数学研究全流程的研究框架标志着我国大模型驱动的定理证明技术实现前沿科研级突破。研发团队负责人高小山研究员介绍MMAT采用分层多智能体协同的核心设计思路打造了20个具备专项能力的子智能体。经过两个月内部测试验证MMAT独立或与数学家交互攻克了代数计算理论、微分代数、数论领域8项长期公开问题。其中2项问题由MMAT全自动独立解决6项问题的核心关键引理由MMAT完成证明。中国科学院院士、数学院院长张平指出MMAT不只是单项技术的创新突破更有望推动数学研究范式的深层次变革。未来数学研究将形成由人类数学家提出科研问题、大模型开展探索推演、智能体完成精准计算、形式化系统筑牢严谨性底线的全新协同模式。参考资料1菲尔兹奖得主领衔千名数学家联名抗议2026年国际数学家大会ICM或将迁址https://phys.sabanciuniv.edu/en/education/graduate?live-news-1646998-2026-04-01-da-kai-wang-yi-xin-wen-cha-kan-jing-cai-tu-pian-tu-yuan-council-science-zhuan-we2OpenAI GPT-5.6 Sol Ultra证明了一个已有50年历史的数学猜想https://www.toutiao.com/article/7661436343893754419/3章志飞、韦东奕荣获国家自然科学奖二等奖https://cbgc.scol.com.cn/news/77419374数学机械化智能体成果发布会在我院举行https://amss.cas.cn/zhxw/XW2026/202607/t20260707_8242609.html