● 本报记者 乔翔 在2025世界人工智能大会（WAIC 2025）现场，一场特殊的"人机对决"牵动着全球科技界的神经——著 名数学家、菲尔兹奖首位华人得主丘成桐教授团队的命题被投射在巨幕上，上海人工智能实验室、商汤 科技、阶跃星辰、MiniMax四家机构的基础大模型同时开动"大脑"飞速运算。 大屏左侧，人工智能（AI）推理过程实时展示。其中，上海人工智能实验室的Intern-IMO系统通过自然 语言推理完成几何构型分析与归纳证明；商汤科技"日日新"大模型在证明其中一个问题时，通过引入精 妙的变量代换，将看似复杂的恒等式两端化归为统一的三角形式。整个解答逻辑清晰，揭示了问题背后 的数学结构之美…… 这并非科幻场景，而是WAIC 2025"人工智能的数学边界与基础重构"高端论坛的现场。当万亿参数大模 型遭遇数学推理的"深水区"，上海正将这场关乎AI未来的"智力基建"竞赛，转化为驱动产业变革的硬核 引擎。 AI与数学成焦点 上海科技大学蔡明亮教授点评称，大模型在概率递推问题中展现的逻辑链完整性令人惊讶，但在需 要"反直觉"构造的场景仍显不足，而这正是人类数学家的核心价值所在。 完善融合发展生态 AI与数学这对"双 ...