杰曼诺夫谈AI与数学：研究受冲击范围有限

2026世界顶尖科学家论坛近日在上海落幕。本届论坛主题为“范式变革：科学突破的下一个十年”，近300位中外科学家受邀参会，32位诺贝尔奖、图灵奖、菲尔兹奖、沃尔夫奖得主在列。知乎方面组织马骁、郭昊天、刘宇航三位平台答主组成代表团到现场，与这些顶尖科学家展开对谈。论坛于11月5日传出消息。

三场专访都围绕AI与学科研究的融合展开。中科大教授马骁专访了沃尔夫数学奖得主诺加·阿隆。阿隆说，AI能帮数学家处理技术类问题，让人腾出精力做概念创新；但眼下它还不擅长提出有趣的研究问题、规划研究方向。小熊猫生物创始人郭昊天则对话2025顶科协会奖得主韦斯·桑德奎斯特。桑德奎斯特的看法是，在药物研发中，蛋白质设计、虚拟筛选等环节的周期可以被AI压缩，可长期验证、人才培养与机制理解这几件事，AI替代不了；他还认为，科学传播会随着技术发展变得越发重要。

西交利物浦大学助理教授刘宇航对话的是菲尔兹奖得主埃菲·杰曼诺夫。杰曼诺夫提到，AI眼下生成的数学证明大多停留在形式化证明系统里，跟人类能直接读懂的研究结论不是一回事，因此AI对数学研究的冲击范围有限。他更担心的是另一件事：AI可能破坏学术生态，让研究者不敢公开自己初步的研究想法。