周向宇院士：AI可辅助数学发现但无法取代人类创造力
AI数学能力已超人类，但可解释性仍是硬伤；数学家核心在创造，AI是高效工具而非对手。
在玉溪数学论坛上，中科院院士周向宇与北电数智首席科学家窦德景对话。周院士指出，AI虽能高效完成大规模推演和猜想验证，但其推理过程不透明，缺乏对数学概念的真正理解，无法替代人类数学家的创造性工作。AI应定位为助手，承担重复性计算，让数学家聚焦于提出新问题、构建新体系。北电数智同时展示了AI在医疗、制造业的落地成果。
正文摘录
2026年7月24日，数学界重量级会议“十六省（区、市）数学学术年会暨应用数学与人工智能学术论坛”在云南省玉溪市举办。论坛由中国数学会指导，十六省（区、市）数学会联合主办，云南省数学会、玉溪市教育体育局、玉溪师范学院承办，以“交融·创新·赋能——数学与人工智能的双向奔赴”为主题，汇聚十六省高校专家学者及数学教师代表共计五百余人参会。 开幕式由中山大学数学学院姚正安教授主持，中国数学会副理事长、中国科学院数学与系统科学研究院副院长黄飞敏研究员在致辞中指出，基础数学是原始创新的源头根基，鼓励广大数学工作者主动推进数学与人工智能交叉创新，面向国家关键科技难题持续开展科研攻关。玉溪市人民政府副市长陈静、玉溪师范学院院长段红云研究员、云南省数学会理事长杨汉春教授等也出席开幕式并致辞。 北电数智首席科学家、复旦大学计算机与智能创新学院教授窦德景，与著名数学家张益唐教授，中国科学院数学与系统科学研究院周向宇院士，共同作为主论坛特邀演讲人发表演讲。 窦德景以《人工智能大模型在科学和产业的应用》为题展开分享，系统梳理了大模型在数值计算、数理推演、工业仿真、产业优化等场景中的落地路径，深度剖析了人工智能与数学交叉融合所蕴藏的创新机遇，为应用数学对接产业需求提供了新思路。 论坛期间，北电数智首席科学家窦德景还与中科院周向宇院士围绕AI在数学领域的能力边界、数学家的角色变迁及AI赋能数学研究的未来图景等议题展开深度对话。 窦德景分享了一组引人注目的对比数据：2024年，十余个主流大模型的高考数学成绩均未达一本线；而到了2026年，这些模型已普遍能考取重点大学，数学单科最低分135分，最高分突破140分。更令人关注的是，当前主流大模型已可在无提前获知题目的情况下取得奥数满分，能力达到人类顶尖智力群体水平。