诺奖得主隔空答知乎网友：AI与数学边界成顶科论坛热议焦点

11月5日消息，世界顶尖科学家论坛近日在上海落幕。据TechWeb报道，本届论坛聚齐了近300位中外科学家，其中有32位是诺贝尔奖、图灵奖、菲尔兹奖、沃尔夫奖等国际顶级奖项的得主，各方在会上研判基础科学前沿走向，商讨国际科技合作的新路径。知乎方面携手马骁、郭昊天、刘宇航三位优秀答主，同世界顶尖科学家展开了深度对话。

28岁的中科大教授马骁在论坛现场专访了沃尔夫数学奖得主、邵逸夫数学科学奖得主诺加·阿隆。阿隆说，真正让自己相信AI研究能力很强的第一项成果，是Erdős单位距离问题的解答。在他看来，有了AI，人类数学家也许能做更多事情：技术问题有了新工具，人就能更专注概念问题。不过他也指出，AI眼下还不擅长提出有趣的问题、选择正确方向、写出并讲好解答，人类数学家应该把更多精力放在选题、定义、概念判断和结果解读上。另一位对话者是巴黎大学博士、Ailurus Bio（小熊猫生物）创始人、AI4S创业者郭昊天，他与2025世界顶尖科学家协会奖得主韦斯·桑德奎斯特进行了交流。桑德奎斯特讲了自己如何从病毒的衣壳组装切入、最终通向药物靶点的经历。谈到AI，他认可蛋白质设计、虚拟筛选和虚拟靶点识别的潜力，但也强调药物研发周期依然很长，AI能压缩其中部分环节，却无法取消验证、人才培养和对机制的理解。

桑德奎斯特认为，科学跑得越快，越需要把复杂的科学讲成公众能听懂、同时又留得住细微差别的话。他的原话是：“科学传播会越来越重要，否则只有专业科学家替人类做重大决定。”

西交利物浦大学应用数学系助理教授刘宇航专访了菲尔兹奖得主埃菲·杰曼诺夫，两人就限制伯恩赛德问题深入探讨。杰曼诺夫解释，这个问题的难处在于“幂塔式增长”，也就是理论上有限，放到实际应用中却几乎等于无穷。

面对OpenAI近期密集发布数学成果引发的震动，杰曼诺夫给出了冷静的观察：数学证明的目的是“理解”，而AI生成的证明大多停留在Lean形式化系统中，人类没法直接阅读，Lean提示“可能对”并不等于证明本身。他认为，真正受到冲击的只是极少数专门做证明的数学家，年轻人不必反应过度，数学会继续存在。他更担心的是AI破坏学术生态，让数学家不敢公开初步想法，并呼吁大学仍要把基础数学教好。

此外，知乎站内的一些经典问题，也由各路顶尖学者以手写卡片的形式作答。比如“如果吃一小勺太阳会如何？”这个脑洞问题就让不少科学家停下脚步琢磨，世界顶尖物理化学家与纳米材料科学家罗德尼·劳夫（Rodney S. Ruoff） 表示，如果你吃一勺太阳，太阳主要成分是氦气，所以你的声音会像吸了氦气一样又尖又细。

“人工智能会产生真正的感情吗？”诺奖得主迈克尔·莱维特在手写回答中写道：“我知道我有感情，推知其他人亦有，这个推论对于AI同样成立。”中国科学院院士、2026世界顶尖科学家奖得主袁钧瑛也赞成这一说法，并笑称，“说不定在这之前就得把人工智能电拔了。”