没有炫酷的机器人展示和产品 这场论坛却对大模型开展了压力测试 追问：人工智能的底层逻辑

【来源：上海市人民政府_今日上海_上海要闻】

记者 周楠

1951年，著名纯数学家冯·诺依曼在普林斯顿发明了第一台计算机，即“冯·诺依曼机”。数十年后，当人们开始谈论人工智能，则必须认识到，数学正是那颗孕育明珠的基石。

昨天，由普陀区人民政府和菲数中国共同主办的2025 WAIC人工智能的数学边界与基础重构论坛举行。

这场论坛没有炫酷的机器人展示和产品发布，屏幕上聚焦最多的是人工智能的底层逻辑：数学公式与大模型推演过程。核心议题聚焦一个看似抽象却关键的问题：数学与人工智能，究竟谁塑造谁？

基础创新是突围关键

在当前人工智能技术不断跃升的背景下，基础数学研究正被重新激活，也成为引领人工智能前沿的关键支点。

“这个看似‘抽象’的数学论坛，恰恰抓住了关键问题——发展人工智能必须从基础研究、原始创新抓起，这才是正确之路。”中国科学院院士徐宗本说。

在他看来，严格讲，当前中国的人工智能发展还处于工程化阶段，中国要在国际上占有一席之地，必须把基础理论搞上去，要有自己的队伍和话语权。与国际顶尖力量相比，我国在专注基础数学与AI交叉研究的顶尖人才规模、持续性投入上仍有较大的提升空间。

“人工智能未来的进步，将依赖于数学未来的发展。数学和人工智能是融为一体的。”菲尔兹数学科学研究院可持续发展中心主席路易斯·塞科认为，“数学拥有数千年来积累的知识基础，世界各地的数学家正在努力使这个基础更加强大，以便我们能在其上构建人工智能的未来发展。”

西班牙皇家科学院院士戴维·里奥斯·因苏亚的观点，也和他们十分相似：数学与人工智能之间的互动将会蓬勃发展，带来巨大的协同效应。一方面，数学将带来新的见解，有助于更好地理解人工智能的最新发展；另一方面，人工智能会激发新的数学问题，并有助于解决那些更传统的数学问题。

丘成桐设擂问解全球

论坛中，有一个独特环节掀起了高潮。首位华人菲尔兹奖得主丘成桐教授亲自遴选并审核10道数学难题，委托团队发布，并向全球征集解答。

更引人瞩目的是，现场大屏幕同步展示来自上海人工智能实验室、商汤科技、阶跃星辰、MiniMax四家机构的通用大模型对部分题目的实时推理过程。

“这不仅是解题，更是大模型逻辑推理能力的一次压力测试。”现场专家认为，尽管不同模型表现各异，但这标志着大模型与前沿数学研究结合的实验性探索已然启动。

菲数中国宣布，将以此次论坛为起点，联合全球顶尖科研机构，持续征集类似丘成桐教授发布的、有望借力AI突破的未解数学难题，并计划在2026年世界人工智能大会上发布成果。

上海作为中国人工智能发展的高地与数学研究的重镇，在推动AI与数学融合发展上具备独特优势，正通过系统化布局打造全球标杆。

眼下，上海正围绕数学与AI融合的基础理论突破、AI辅助数学研究、产业场景转化三大前沿方向布局。当天，两个菲尔兹奖获得者冠名实验室落地普陀区——费夫曼实验室（Fefferman Lab）与希钦-吴实验室（Hitchin-Ngo Lab）。

市委常委、副市长陈杰出席本次论坛。

声明：此文版权归原作者所有，若有来源错误或者侵犯您的合法权益，您可通过邮箱与我们取得联系，我们将及时进行处理。邮箱地址：jpbl@jp.jiupainews.com