中国科学院院士とビーディアン数智のAI専門家がAIと数学の「倍増効果」について議論

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