中科院院士与北电数智专家共论AI数学融合：能力跃升但黑箱未解，产业落地路径清晰
2026/07/29 19:25阅读量 2
在2026年7月24日云南玉溪举办的数学论坛上，北电数智首席科学家窦德景与中科院周向宇院士就AI数学能力边界展开对话。周向宇指出AI在模式检索和机械推演上优势明显，但缺乏可解释性和真正理解，数学家不会被取代，应专注于创造新理论。北电数智展示了其在算力、医疗、制造等领域的落地实践。
事件概述
2026年7月24日，“十六省（区、市）数学学术年会暨应用数学与人工智能学术论坛”在云南玉溪举办。北电数智首席科学家窦德景与中科院院士周向宇就AI与数学的“乘法效应”展开深度对话。
核心信息
-
AI数学能力跃升：2024年主流大模型高考数学未达一本线，2026年已普遍达到重点大学水平（最低135分，最高140+），且可在无提前获知题目的情况下取得奥数满分。
-
能力局限与黑箱问题：周向宇指出，AI在模式检索、符号运算和离散构造等可程序化分支表现突出，能高效完成大规模命题验证和反例搜索。但其数学推导缺乏可解释性——无法确认AI是真正理解概念还是仅做统计拟合。针对雅可比猜想等难题，AI可能暴力给出反例，但无法提供推理路径，这一“黑箱”问题是未来研究重点。
-
数学家角色：周向宇明确表示数学家不会被取代，核心使命是创造新工具、发现新规律。AI应定位为助手，承担重复性验证和计算，让数学家专注于提出新问题、构建新体系。同时，AI生成结果无法追溯引用来源，对学术伦理构成挑战。
-
北电数智产业实践：公司正推进全国30余城市算力中心建设，构建“数算模用”全栈闭环。医疗领域，与中日友好医院合作的皮肤专病大模型已达到中级医师考核90%准确率，诊疗时间缩短20%；工业制造领域星火大模型已应用；国产芯片从“可用”走向“好用”。
值得关注
- 论坛上，Anthropic的Claude Fable 5在周末证伪雅可比猜想成为讨论焦点，凸显AI在数学验证中的潜力与解释性困境。
- 北电数智的产业路径展示了数学与AI融合在算力基础设施和垂直场景中的实际价值。