数学

与会者们认为，数学是一套严密、自洽且不依赖物理现实的逻辑体系，天然适合AI计算与推理。

2026年09月16日13:52滚动播报最近，AI技术在数学领域接连取得突破。

有人认为这是AI即将帮助我们解决所有科学问题的重大信号，也有25位菲尔兹奖得主联名发声，指出大公司用解决数学问题的方式证明模型能力，但仅仅追求答案无益于科学进步。

AI是否能解决所有数学问题？

9月13日，在第十九届浦江创新论坛“跨越奇点·加速科学发现”分论坛现场，海内外顶尖数学家、理论计算机科学家、物理学家、生命与材料领域学者展开了一场关于数学本质、物理现实与科学范式跃迁的深度对话。

所谓形式化，即将数学推理转化成一套精确、无歧义且可以机械验证的符号系统。

相比之下，他认为，人类至今对大模型为何能理解并生成自然语言的底层机理缺乏根本认知，“大模型能够流利地与人对话这件事，其理论突破性远大于它能证明某道数学定理。

Lewis研究助理教授马骁指出，数学定理的形式化验证正在重塑学科底层。

有人认为这是AI即将帮助我们解决所有科学问题的重大信号，也有25位菲尔兹奖得主联名发声，指出大公司用解决数学问题的方式证明模型能力，但仅仅追求答案无益于科学进步。