中国科学院院士与贝店数智AI专家探讨AI与数学的“倍增效应”

2026年7月24日，“十六省（区、市）数学年会暨应用数学与人工智能学术论坛”在云南省玉溪市举行，汇聚了五百余位专家和数学教师。论坛期间，贝店数智首席科学家窦德景与中国科学院院士周向宇就人工智能在数学领域的能力、数学家角色的转变以及人工智能辅助数学研究的未来展开了深入对话。他们展示的数据表明，主流大模型从2024年高考数学不及格，到2026年能在满分140分中取得135分以上的成绩，并且现在能在事先不知晓题目内容的情况下，在数学奥林匹克竞赛中获得满分。然而，周向宇强调，人工智能的核心优势在于模式检索和机械推演，并非真正的数学创新，而人工智能数学推导的可解释性仍然是未解决的瓶颈。他们讨论了雅可比猜想，指出人工智能进行大规模启发式搜索和计算的能力可能有助于寻找反例，但“黑箱”问题依然存在。周向宇断言，数学家不会被取代，因为他们做着机器无法做到的事情：提出新问题、构建新框架、发现新规律。他还提出了关于人工智能生成结果和引用伦理方面的学术诚信问题。窦德景介绍了贝店数智的产业实践，包括在30多个城市建设计算中心，构建“数据-算力-模型-应用”全栈体系，以及在医疗和制造领域的实际部署，例如皮肤病模型在执业医师考试中达到90%的准确率，并将诊断时间缩短了20%。文章还提到，Anthropic公司的Claude Fable 5据称在一个周末内推翻了雅可比猜想，并引用菲尔兹奖得主叶菲姆·泽尔曼诺夫的观点，认为人工智能就像一个“天赋异禀的年轻数学家”，但人类必须承担起真正理解证明并提炼见解的责任。