Google DeepMind与杜克大学把Co-Scientist从会分析资料的科研助手，推进成了能在真实实验室里提出方案、安排实验并根据结果继续迭代的系统。它从272个候选方案中筛出无毒路线，经过25轮迭代合成...

AI for Science 正从模型演示走向实验室流程，科研智能体和一站式工作台开始重写文献、实验、验证与复盘环节。

OpenAI发布Rosalind Workbench，把生命科学中的证据检索、结构分析、基因组学与实验流程连接到同一工作台，AI科研竞争开始从模型问答走向可复核的专业交付。

Claude完成大规模Lean形式化证明，GPT-6在开放数学问题基准中提交机器可验证结果，AI科学正在从生成答案转向交付证据链。

AlphaChip原班人马融资、自进化模型创业、OpenScience开源与Agent工程细节同步出现，AI竞争正在从模型能力转向芯片、科研和系统闭环。

数学家起草宣言反对 AI 滥用，Papers with Code 回归、LITMUS 执行幻觉评测和 Linux 社区争议同步出现，AI 正在把知识基础设施推向可信边界竞争。