中国教育报-中国教育新闻网讯（记者 任朝霞）近日，第十届世界华人数学家大会（ICCM 2025）特别活动——“人工智能与数学”夜话举行，会上正式发布了“人类知识边界”全球数学征解。
征解分为“初探”“突破”“拓界”三个系列。其中，“初探”是面向本科生的逻辑迷宫，“突破”为面向硕博的结构洞察，“拓界”则是面向全人类的终极猜想，这三层挑战也对应着上海构建“数学—模型—产业”生态的决心。
活动现场，来自复旦大学、清华大学、上海科技大学、北京雁栖湖应用数学研究院、上海数学与交叉学科研究院的青年数学家与来自上海AI实验室、阿里通义、商汤、字节跳动的AI科学家展开对话，共同探讨如何用数学的“冷”逻辑拯救AI的“热”幻觉。
AI科学家们现场展示了大模型的数学解题能力。在刚刚结束的中国数学奥林匹克冬令营中，上海AI实验室的“书生”模型在与人类选手的同台竞技中拿下102分，远超金牌线的78分。阅卷专家评价模型的回答“是一个新的解法，在学生的解法中没有见过”。阿里通义实验室的Qwen3-Max模型在解决一道关于“有限阿贝尔群自同构”的抽象代数难题时，主动推翻了自己之前的结论，调用了另一种方法进行交叉验证。商汤科技的“日日新”模型在计算一个复杂的广义积分时，展现了“避繁就简”的能力，开始懂得“巧妙”。字节跳动的Seed-Prover模型借助严格的形式化监督信号，可开展持续的强化学习。AI科学家指出，人工智能可以帮助数学家承担一些复杂计算，担任“科研助手”，而模型在功能预测、结构设计、优化等方面都需要数学的支撑。
世界华人数学家大会主席、上海数学与交叉学科研究院理事长丘成桐院士在现场致辞时表示，数学家要解决的是一些有相当挑战的、有深度的问题，希望人工智能在这方面发挥作用，通过人脑与人工智能的合作解决重要的问题。
