AI4S迎临界点:表征瓶颈成跨学科落地最大拦路虎

作者:财联社 发布时间:2026-09-15 06:20:52 浏览:9
2026浦江创新论坛上,专家热议AI4S从单点工具走向体系化,指出数学与Coding因验证闭环清晰率先突破,物理、材料、生命科学仍受制于表征与实验通量。

在2026浦江创新论坛上,上海人工智能实验室主任周伯文提出“AGI4S”概念,认为科学与AI正从高门槛的“For”走向无门槛的“And”,双方相互赋能。

中科院院士田中群将AI for Science的瓶颈概括为“感而不知、知而不动、动而不联、联而难用”,强调AI、仪器与系统论必须协同,才能形成实时闭环。

围绕“AI for Math时刻”能否复制,学者们提到Claude在11天内完成费马大定理的Lean形式化、OpenAI用约万个并行智能体在88小时内验证纳维–斯托克斯证明,但陆品燕提醒搜索本身是NP难题。

斯坦福应可钧指出表征瓶颈——模型能学到什么取决于我们能测量什么;武汉大学雷爱文团队已用“干湿一体”系统将目标反应产率提升至约97%,深势科技张林峰则直言低垂的果实不多。

阅读原文

本文由融业云AI采集并编辑,仅供学习使用!

本文来自m.toutiao.com,作者财联社

有问题,请联系客服!http://www.rongyeyun.com/kefu/