一个困扰了数学家几十年的猜想
AI在一个周末给出了答案
2026年7月20日，世界杯决赛的夜晚，一条社交媒体消息在数学界引发震荡。人工智能公司Anthropic研究员、数学家Levent Alpoge在网上公布：困扰数学家几十年的“雅可比猜想”是错的。协助他完成这一发现的，是Anthropic最新一代大模型Claude Fable 5。它没有顺着人类已有的思路去修补证明，而是直接“造”出了一个反例——一个让这个猜想“不成立”的具体数学对象。
雅可比猜想于1939年由德国数学家Ott-Heinrich Keller提出，此后一代又一代数学家试图给出确定的答案，始终未能成功。提出“孪生素数猜想”享誉世界的中国数学家张益唐教授，早在上世纪八十年代末于美国普渡大学就读博士时，就已对这一雅可比猜想提出质疑，但因无法举证反例而迟迟得不到学术界的认可。而这一次，AI不仅证伪了雅可比猜想，也帮助数学家完成了证明——从寻找反例、检验思路到补全证明细节，AI正在发展成为数学家的“强大助手”。
四天后，全国数学领域最高级别的年度论坛在云南玉溪拉开帷幕。作为重量级特邀嘉宾之一，张益唐教授带着对“雅可比猜想”的全面分析与思辨，为论坛带来了首场重量级演讲（线上）。
云南玉溪之约：
数学与AI的双向奔赴
2026年7月24日，数学界重量级会议“十六省（区、市）数学学术年会暨应用数学与人工智能学术论坛”在云南省玉溪市举办。论坛由中国数学会指导，十六省（区、市）数学会联合主办，云南省数学会、玉溪市教育体育局、玉溪师范学院承办，以“交融·创新·赋能——数学与人工智能的双向奔赴”为主题，汇聚十六省高校专家学者及数学教师代表共计五百余人参会。
开幕式由中山大学数学学院姚正安教授主持，中国数学会副理事长、中国科学院数学与系统科学研究院副院长黄飞敏研究员在致辞中指出，基础数学是原始创新的源头根基，鼓励广大数学工作者主动推进数学与人工智能交叉创新，面向国家关键科技难题持续开展科研攻关。玉溪市人民政府副市长陈静、玉溪师范学院院长段红云研究员、云南省数学会理事长杨汉春教授等也出席开幕式并致辞。
北电数智首席科学家、复旦大学计算机与智能创新学院教授窦德景，与著名数学家张益唐教授，中国科学院数学与系统科学研究院周向宇院士，共同作为主论坛特邀演讲人发表演讲。
窦德景以《人工智能大模型在科学和产业的应用》为题展开分享，系统梳理了大模型在数值计算、数理推演、工业仿真、产业优化等场景中的落地路径，深度剖析了人工智能与数学交叉融合所蕴藏的创新机遇，为应用数学对接产业需求提供了新思路。
AI能力跃升：
从“不及格”到“奥数满分”
论坛期间，北电数智首席科学家窦德景还与中科院周向宇院士围绕AI在数学领域的能力边界、数学家的角色变迁及AI赋能数学研究的未来图景等议题展开深度对话。
窦德景分享了一组引人注目的对比数据：2024年，十余个主流大模型的高考数学成绩均未达一本线；而到了2026年，这些模型已普遍能考取重点大学，数学单科最低分135分，最高分突破140分。更令人关注的是，当前主流大模型已可在无提前获知题目的情况下取得奥数满分，能力达到人类顶尖智力群体水平。
窦德景提出：“如果说大模型已经能够达到清北数学、物理系顶尖学生的水平，那么如果模型再大一点，会不会每个大模型就是一个爱因斯坦？”他进一步设想，如果OpenAI、Anthropic、谷歌以及国内的多家企业的顶尖大模型能够协同讨论，是否会催生全新的理论突破？
对此，周向宇院士从数学家的视角给出了回应。近年来人工智能在赋能数学方面取得长足进步，但AI的核心优势主要在模式检索与机械推演等方面，而非真正意义上的数学创新。在有关可程序化、符号运算、离散构造等一些数学分支中，AI依托海量学术文献与定理数据完成深度表征学习，能够高效完成人类因计算规模庞大、变量耦合复杂而无意推进的命题验证、实例构造工作。然而AI数学推导的可解释性始终是难以突破的瓶颈：人工智能究竟在多大程度内化并理解了数学概念与内在逻辑，还是在高维数据空间中通过统计拟合匹配出有效的数学关联？这一核心疑问，至今仍缺乏定论，有待学界持续深入研究。
雅可比猜想：
AI能否打破“人类直觉”的局限？
对话中，双方聚焦雅可比猜想这一数学难题展开了深入讨论。
周向宇院士介绍，其实，主流专家对雅可比猜想在三维及以上维度情形普遍认为存在反例，但二维情形的真伪仍是未解难题。不少数学家会因变量繁杂、推演规模过大而止步于手工演算，AI却几乎不受人力局限：只要配套算力充沛，它便能不间断开展大规模启发式搜索与高强度数值、符号运算。
窦德景对此提问：AI在证伪雅可比猜想中如果只给出答案却无法解释推理路径，是否算“真正理解”？周院士坦言，这正是当前AI的核心争议点：AI可以“硬生生”给出反例，人类验算确实无误，但无法得知答案从何而来。这一“黑箱”问题，既是数学家的困惑，也恰恰是未来研究的发力点。他同时指出，AI大规模批量演算的能力恰好弥补了人类与生俱来的短板：面对极多变量复杂繁琐推演，人类极易疏漏出错、难以长期持续运算，机器却可以不间断执行运算。这种永不间断运行的特质，让AI在命题验证、复杂反例搜寻工作中具备得天独厚的优势。
数学家不会被取代：
做“机器不能做的事”
面对“AI是否会取代数学家”这一话题，周向宇院士给出了明确判断：数学家从古至今都在创造计算工具，其核心使命始终是让机器辅助人类。机器能做的事，数学家不必重复去做；数学家要做的是机器不能做的事——从这个分工逻辑出发，他认为不存在被取代的风险。
周院士进一步阐释，数学不仅仅是解题和计算，更本质的是“找规律”。人类数学家擅长从纷繁复杂的现象中提炼简洁的数学结构，通过直觉、联想与抽象思维建立新的理论框架，这种创造性过程远非当前AI所能企及。AI的定位是“助手”而非“对手”——在数学研究中承担大规模验证、重复性计算、文献检索等基础工作，将数学家从繁琐的体力劳动中解放出来，使其专注于真正需要创造力的核心问题。
周院士也指出了AI辅助研究中的学术规范挑战。传统数学研究中，论文引用须严格标明思想来源与方法出处。但当前AI生成的结果无法清晰追溯其具体参考了哪些已有工作，直接冲击了学术界的引用伦理与成果归属体系。如何建立有效的规范机制，是亟待解决的课题。
数学家的真正优势在于“知其然，更知其所以然”。即便AI能通过暴力计算给出反例或验证猜想，数学家追求的仍是对数学结构的深层理解与解释——真正推动数学前进的，从来不是孤立的答案，而是答案背后的思想与方法。数学家的使命不是担忧被取代，而是善用这个新工具，去做那些机器永远做不到的事：提出新问题、构建新体系、发现新规律。
北电数智的产业视角：
从“技术高原”到“价值落地”
在论坛中，窦德景系统阐述了北电数智的产业路径与落地实践。
在算力基础设施层面，公司正以全国30余个城市为支点推进算力中心建设，整合万卡级算力资源，为万亿参数级大模型的训练与迭代提供底层支撑。依托这一算力底座，北电数智构建了“数算模用”全栈闭环体系——数据、算力、模型、应用四者缺一不可，真正实现技术突破与产业场景深度咬合的价值跨越。
在这一理念驱动下，北电数智已在医疗、工业制造等多个领域落地实践。在医疗领域，北电数智与中日友好医院合作的皮肤专病大模型，已通过专病数据训练达到医院中级医师考核90%准确率，诊疗时间缩短20%；在先进制造业领域，星火大模型已投入实际应用；在国产算力方面，公司正推动国产芯片从“可用”走向“好用”，为AI赋能民生筑牢自主可控的技术底座。
结语：
AI与数学的“共振”刚刚开始
正如2026世界人工智能大会“数学与人工智能”创新论坛上菲尔兹奖得主埃菲·杰曼诺夫所言，AI可被视为“极具天赋的年轻数学家”，但真正理解证明、提取数学洞见的责任仍须由人类承担。AI与数学的关系，不是工具与使用者的简单叠加，而是“乘”的关系——深度拆解、同频共振，方能推动真正的范式跃迁。
从Anthropic的Claude Fable 5在一个周末证伪雅可比猜想，到云南玉溪数学论坛上五百余位专家学者共同探讨AI与数学的融合未来，再到北电数智推动大模型在科学和产业中的落地实践——这一系列事件正在被写入AI与数学“双向奔赴”的历史。论坛开幕当天王虹与邓煜双双斩获菲尔兹奖的佳音，更让这场汇聚于玉溪的学术盛会，在探索未来的同时，也见证了中国数学的高光时刻。
对于北电数智而言，这场论坛不仅是学术对话，更是产业方向的锚定。以数学为根基，以AI为引擎，以场景为驱动——北电数智正沿着“技术底座自主可控、AI赋能民生福祉”的路径，推动中国人工智能从“技术高原”走向“价值落地”的广阔平原。
