科技日报记者 罗云鹏 赵汉斌
日前，“十六省（区、市）数学学术年会暨应用数学与人工智能学术论坛”在云南省玉溪市举办，与会产、学、研领域人士共探数学与AI边界。
北电数智首席科学家、复旦大学教授窦德景，数学家张益唐，中国科学院周向宇院士共同担任主论坛特邀演讲人。
窦德景在《人工智能大模型在科学和产业的应用》演讲中梳理了大模型落地路径，并与周向宇院士就AI能力边界对话。
窦德景给出一组对比数据：2024年十余个主流大模型高考数学成绩均未达一本线；到2026年，这些模型已普遍能考取重点大学，数学单科最低135分，最高突破140分。
更值得关注的是，当前主流大模型已能在无提前获知题目的情况下取得奥数满分，达到人类顶尖智力群体水平。
双方围绕雅可比猜想展开讨论。周向宇介绍，其三维及以上情形普遍被认为存在反例，二维情形仍未解。
周向宇认为，只要算力充沛，AI便能不间断开展大规模搜索与高强度运算，弥补人类在繁杂推演中的短板。
但AI数学推导的可解释性始终是瓶颈。窦德景提问：AI若只给答案不解释路径，是否算“真正理解”？周向宇坦言，这正是当前核心争议。
面对“AI是否会取代数学家”的提问，周向宇明确判断：机器能做的事，数学家不必重复去做；数学家要做的是机器不能做的事。
周向宇进一步阐释，数学不仅仅是解题和计算，更本质的是“找规律”。AI是“助手”而非“对手”。
论坛上，窦德景还阐述了北电数智产业实践：以30余个城市为支点推进算力中心建设，整合万卡级算力资源。
在医疗领域，北电数智与中日友好医院合作的皮肤专病大模型，已达到医院中级医师考核的90%准确率，诊疗时间缩短20%。
论坛由中国数学会指导，十六省（区、市）数学会联合主办，云南省数学会、玉溪市教育体育局、玉溪师范学院承办。
网友评论
