在2026浦江创新论坛上,上海人工智能实验室主任周伯文提出“AGI4S”概念,认为科学与AI正从高门槛的“For”走向无门槛的“And”,双方相互赋能。
中科院院士田中群将AI for Science的瓶颈概括为“感而不知、知而不动、动而不联、联而难用”,强调AI、仪器与系统论必须协同,才能形成实时闭环。
围绕“AI for Math时刻”能否复制,学者们提到Claude在11天内完成费马大定理的Lean形式化、OpenAI用约万个并行智能体在88小时内验证纳维–斯托克斯证明,但陆品燕提醒搜索本身是NP难题。
斯坦福应可钧指出表征瓶颈——模型能学到什么取决于我们能测量什么;武汉大学雷爱文团队已用“干湿一体”系统将目标反应产率提升至约97%,深势科技张林峰则直言低垂的果实不多。
