推荐文章8

周伯文：AI4S 亟待迈向 AGI4S 时代

机器之心2026-01-30

AI 摘要

上海 AI 实验室周伯文：当前顶尖模型距科学家尚远，AI4S 需迈向 2.0 即 AGI4S；“通专融合”是实现 AGI 路径，“智者”SAGE 是关键架构；Intern - S1 与 Discovery 是实践开端，邀同行共建。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

AI科学发现，验证是卡脖子问题

本文整理自PAIR Conference 2026下一代科学发现论坛圆桌讨论，多位跨学科青年学者围绕AI科学发现结果的验证难题，从不同领域验证成本、方案设计、失败排查等维度展开深入探讨。

清华大学电子工程系团队在AI for Science领域取得两项新进展，提出可复用的智能体符号回归运行时框架SRHarness，构建机制发现评测基准MechBench，推动AI科学发现从拟合观测走向理解机制。

本文报道九章云极言表实验室在陶哲轩发起的数学蒸馏挑战赛第二阶段拿下全部赛道满分，解决28个未解决开放数学问题，介绍了其可验证AI+强化学习的AI4S布局。

上海人工智能实验室在2026第十九届浦江创新论坛上，升级发布书生·端砚科学发现平台并全面开放全栈服务，升级三大核心能力，覆盖完整科研流程，已落地六大核心科研领域，开放给科研人员试用。