AI导读：

2025 WAIC人工智能的数学边界与基础重构论坛在普陀区举行，聚焦数学与人工智能的底层逻辑及相互塑造关系，推动AI与数学融合发展，助力培育新质生产力。

　　1951年，著名纯数学家冯·诺依曼在普林斯顿发明了第一台计算机，即“冯·诺依曼机”。数十年后，数学成为孕育人工智能的基石。

　　7月26日，2025 WAIC 人工智能的数学边界与基础重构论坛在普陀区举行，聚焦人工智能的底层逻辑——数学公式与大模型推演过程，核心议题为数学与人工智能谁塑造谁。

　　中国科学院院士徐宗本认为，发展人工智能必须从基础研究抓起。菲尔兹数学科学研究院可持续发展中心主席路易斯·塞科表示，数学和人工智能是融为一体的。西班牙皇家科学院院士戴维·里奥斯·因苏亚也认为，数学与人工智能之间的互动将会蓬勃发展。

　　论坛中，丘成桐教授遴选并审核10道数学难题，委托团队发布，并向全球征集解答。现场大屏幕同步展示四家机构的通用大模型对部分题目的实时推理过程。

　　菲数中国宣布，将联合全球顶尖科研机构，持续征集未解数学难题。此外，十位国际硕博生完成结对仪式。

　　上海作为中国人工智能发展的高地与数学研究的重镇，在推动AI与数学融合发展上具备独特优势。当天，两个菲尔兹奖获得者冠名实验室落地普陀区。

　　费夫曼实验室，由菲尔兹奖得主Charlie Fefferman教授冠名，将聚焦于流体力学中的若干关键问题。希钦–吴实验室，由Nigel Hitchin 教授与菲尔兹奖得主吴宝珠教授冠名，有望成为联通理论物理与几何数学的重要枢纽。

　　菲数中国代表表示，选择普陀是看中了它未来的科创潜力。普陀区科委主任李文波表示，将推动“数学+人工智能”等交叉研究。8月4日-6日，还将举办2025菲数中国国际数学研讨会。

（文章来源：上观新闻）