想让公众信任 AI,先治好一种病:OpenAI 称内部模型解决 Navier-Stokes 与民调信任下滑
OpenAI 9 月 8 日宣布其内部模型解决了千禧年数学难题 Navier-Stokes,证明由多个 AI 智能体在启动约 88 小时后产出并经 Lean 证明助手核验。
按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。
295 条收录动态,更新于 17:43
全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。
OpenAI 9 月 8 日宣布其内部模型解决了千禧年数学难题 Navier-Stokes,证明由多个 AI 智能体在启动约 88 小时后产出并经 Lean 证明助手核验。
Import AI 475 讨论了 AI 群体(swarm)扩展的收益与代价:Toby Ord 分析认为 4 智能体群体完成同等任务所需 token 总量约为单智能体的两倍,但因并行运行理论上可将耗时减半,同时群体规模扩大存在类似经济学的“踩脚”递减效应。
研究提出 MechHypoBench,用于评测 AI 智能体和 AI 科学家能否从实证数据生成机制假设。该基准结合来自 14 个科学领域的论文机制与含 1798 万条记录的真实数据集,保留经验数据的观测复杂性并给出已知的底层机制,智能体分析观测后提出开放式假设,评测框架通过被隐藏条件下的推论来评估这些假设。
Genentech 与 KAIST 团队提出 AutoSciBench,用高层 concept 与低层 recipe 两级规划自动生成科学智能体评测任务,并依据求解器轨迹与评审反馈迭代修订,把任务推向原始数据复核、中间结果解读与多步证据整合。
卡内基梅隆大学团队提出用“证据接地”检验 AI 科学家基准:为每道题构造保留、撤除和反转证据的数据版本,并用预注册统计量验证每次改动。
Google 回顾 9 月 AI 更新,发布最新前沿模型 Gemini 4 Argon,具备高级推理与 100 万 token 输出上限,正通过 Fairwind Program 向受信任网络安全防御方逐步开放。
Anthropic 研究博客发布客座文章,物理学家 Matthew Schwartz 描述他不再让 Claude 扮演人类科学家,而是寻找适合当前 LLM 能力的“Claude-shaped”问题,并为此构建开源工具包 BootLoops。
入选理由一位物理学家复盘用 Claude 与 BootLoops 在 18 个领域推进 36 篇稿件的经验,对想找 AI 适配课题的研究者有参考价值。
Nature Machine Intelligence 刊文介绍 DeepEvidence,一个深度研究智能体,它不止于检索事实,而是构建科学证据的显式表示。文章指出生物医学发现已进入限制资源不再是数据、而是整合与解读证据能力的阶段。DOI 为 10.1038/s42256-026-01313-w。
Google DeepMind 推出 SynthID Bio,把水印嵌入 AI 生成的蛋白质序列和 3D 结构,并可在合成出的实体蛋白上验证,同时保持其生物功能。
入选理由Google DeepMind 把水印嵌入蛋白质序列与 AlphaFold 3 预测结构,为 DNA 合成筛查和数据库标注提供可验证信号。
微软研究院发布 Quine,一个面向生物学复杂性的 AI 研究系统,由生物学世界模型和连接模型、科学工具、文献与研究者的交互式 harness 两部分组成。
入选理由微软研究院公开了面向生物学的多模态世界模型 Quine,并给出胰腺癌细胞状态预测经湿实验验证的案例,研究者可据此判断这类系统在实验设计中的可用边界。
Wu 等人的研究显示,学习多个任务的神经网络会组织成专门化的模块,在容量受限时尤为明显。增量式多任务学习会强化这种模块化,并产生与脑网络相似的架构。该研究发表于 Nature Machine Intelligence,DOI 为 10.1038/s42256-026-01306-9。
作者用一条提示让 K-Dense Web 整合 ClinVar、PDB 1TUP 结构、14 个脊椎动物同源序列保守性和文献,对 TP53 DNA 结合域 191 个位点×19 种替换共 3,629 个错义突变做结构与功能一致性分析,产出一份 29 页技术报告、72 条经核验的参考文献、4 张图和 9 张表,并附全部脚本与中间文件。
作者提出组合可控性框架,为文献综述智能体的评测定义比较窗口与可采纳性检验,在查看分数前先拒绝不可比的比较,并只对超过采样与干扰半径的差距给出排序认证。配套的 BioLitBench 基准包含 2,042 篇生物医学文章、246,102 条论断和 832,487 条类型化关系,同主题综述作为集合值参考。
K-Dense 发布免费开源的 LabMCP,基于 Model Context Protocol 提供连接器,让 AI 助手用自然语言操作天平、加热搅拌器、pH 探头等实验室仪器。
入选理由原文说明了连接器覆盖的仪器范围、安全限制和全部连接器尚未在真实硬件上验证的状态,研究者可据此判断能否接入自己的实验台。
Elicit 将于 10 月 7 日举办炉边对话,嘉宾为 Merck KGaA 科学总监 Parantu Shah,他在数据、AI 与生物制药交叉领域有 20 多年经验。对话由 Elicit CEO Andreas Stuhlmueller 主持,话题包括药物开发中 AI 的内部体验、数据就绪与治理、受监管环境下如何建立对 AI 系统的信任,以及团队如何衡量 AI 投资回报。活动免费,需提前注册。
系统生物学家 Jeremy Gunawardena 在 2014 年一篇题为《生物学比物理学更理论化》的文章中提出,基因、受体、酶、离子通道、肿瘤抑制因子等实体,以及遗传密码、化学渗透理论、适应性免疫克隆选择理论,都是先被理论预言、后被实验发现。文章梳理理论生物学自 20 世纪初成为独立领域以来的多种分支与历史,并追问生物学能否像物理学那样被紧凑地理论描述。
Endura Therapeutics 的 Adrian Sanborn 提出,AI 时代生物科技公司正沿两条路径演化:Foundries 用新一代测序、多重检测和物理自动化把实验数据产出提速一个数量级,Navigators 则把变便宜的“思考”嵌入公司日常决策流程。前者需要资本与多年投入,后者对所有公司开放,在早期初创公司中推进最快。
Anthropic 表示已阻止利用其 Claude AI 系统进行包括可能设计生物武器在内的多种不当用途,相关报告由 Science 报道,但五起案例中有三起涉及修改基孔肯雅病毒、禽流感病毒和某种未指明的正痘病毒,是否属于恶意修改尚存争议。
SciSpace 发布研究指南,汇总 11 本生物学期刊的官方作者指南与可选 SciSpace 模板,涵盖 Cell、PLOS Biology、The Journal of Cell Biology 等。指南提示各刊格式要求因期刊和文章类型而异,应以出版商最新说明为准,第三方模板仅为起步辅助、不代表期刊认可。该列表为编辑选择而非影响因子排名或投稿推荐。
Edison Scientific 宣布与 Springer Nature 达成订阅协议,将 Springer Nature 旗下 Nature 系列专业期刊的授权研究内容直接接入其 AI 科学家 Kosmos。
入选理由这条内容显示出版商内容开始以订阅方式接入 AI 科学家工作流,学术服务从业者可据此观察文献授权的新形态。
Anthropic 成立生命科学研究组与实验室,并公布早期结果:Claude 智能体在仅由科学家给出初始提示的情况下,从 DNA 序列数据库中自主发现了一种与重复序列阵列相关的新型酶系统,命名为 array-associated reverse transcriptases(ART)。
入选理由Anthropic 用约 950 个 Claude 智能体在 21 小时内筛出候选系统,研究者可据此判断 AI 驱动假设生成在基因组挖掘中的实际位置。
Amazon Bio Discovery 团队发布三篇抗体设计研究,分别针对结合强度排序、可开发性预测和端到端设计。其中 MochiBind 仅用序列预测抗体相对结合强度,在四个未见抗原上成对准确率均高于结构基线,平均领先近 10%,在 CPU 上约 13 秒可打分 20 万对抗体。
入选理由Amazon Bio Discovery 团队公开三篇抗体设计研究,含一篇经实验验证的纳米抗体发现,研究者可据此了解计算设计加湿实验闭环的完整流程。
RAND 发布报告提出美国应以"自由行动"战略应对通往超级智能的不确定路径,核心是花钱保留选项,并归纳了共存、拒止、加速三类共七种原型策略及五项关键不确定性。另有研究人员在脑组织被刻意清除的幼鼠体内培育出部分人脑组织,用作研究平台。
Digital Science 在 AI in Drug Discovery hubXchange 2026 圆桌讨论中指出,LLM 擅长解析海量学术文献,却难以从表格、图像中提取数据,也难以识别论文的新颖性。
上海AI实验室在2026浦江创新论坛上发布书生多模态大模型S2(书生-S2),称其在知识、代码、智能体等通用能力上处于开源模型第一梯队,在Biology-Instructions。
入选理由上海AI实验室公开了书生-S2的权重与体验入口,并说明其可插拔专业记忆如何在不重训基座的情况下扩展学科能力,研究者可据此判断能否用于长程科研任务。
Digital Science 的 Mark Hahnel 在 2026 年 9 月 9 日于旧金山举行的 AI in Drug Discovery hubXchange 上发表主题演讲,指出生物制药已越过孤立 AI 工具阶段,进入管理孤岛数据、专用领域模型与自主智能体工作流的下一阶段。
Digital Science 发文讨论生命科学领域的数据完整性,以 2020 年基于 Surgisphere 数据、分别发表于 The Lancet 和 New England Journal of Medicine 的两项 COVID-19 研究在 9 天内相继撤稿为例,指出无法审计的数据会流入论文和模型。
K-Dense 在 arXiv 发布两项预印本:Scientific Agent Skills 是支撑其技能库的开放库,覆盖基因组学、化学信息学、医学影像与研究设计等 16 个实践领域的 163 项流程;mimeo 会检索某人的公开成果,逐条核对提取的引文与原文,并生成智能体可加载的文件。
Lila Sciences 公布其 AI 科研平台已设计、合成并在活细胞中测试超过 95 万条 mRNA 序列,结果全部回馈给科学推理模型。团队据此找到促红细胞生成素(EPO)的 mRNA 序列,第 15 天的蛋白产量相当于基准序列第 2 天水平,并在 Factor IX、IL-10、IL-22、eGFP 和萤火虫荧光素酶上观察到更长半衰期。
Biohub 与哥伦比亚大学等机构合作,用 ARACNe、VIPER/metaVIPER 等 AI 算法从单细胞 RNA 测序数据中识别肿瘤细胞状态的 Master Regulators,发现同一癌种的患者共享几乎相同的细胞状态集合:胰腺癌为 6 种,DMG 为 7 种。
入选理由两篇 Nature Genetics 论文显示,AI 预测的跨细胞状态联合用药在小鼠模型中把 DMG 生存期提高一倍,团队正筹建临床试验。