JUAN LI · AI4SCIENCE
每日简报从有可靠来源、已完成中英文整理的动态中，优先挑选信息完整、便于核验的事件。简报由 AI 自动编排，条目默认为 AI 生成、未逐条人工审核（人工复核条目单独标注），引用科学结论前请核验原始来源。
精选依据：只收录有可靠来源、已完成中英文整理的 AI4Science 动态；优先保留信息更完整、便于核验的事件。
Anthropic 成立生命科学研究组与实验室，用 Claude 开展基础生物学研究：挖掘DNA数据集寻找未被表征的蛋白家族，大规模生成假设并在实验中验证。该组于2026年春季成立，旨在检验通用AI模型能否系统化地加速科学发现，让智能体与人类协作参与每个环节。早期成果是：在科学家只给出高层方向的情况下，Claude 自主发现了一套与一串DNA重复序列相关的新型酶系统，其模式让人联想到CRISPR。目前尚不清楚该系统的功能，但它具有一组此前仅在少数几个系统中同时出现的特征。
美国Anthropic公司9月23日发布其分子生物学实验室的首个发现：Claude模型识别出一个此前未知的酶系统ART。据公司介绍，约950个Claude软件智能体在21小时内梳理DNA序列数据库，检出同一类酶的20多万个基因，并选出20个值得深入研究的线索，而这类工作通常需专家数周甚至数月完成。其中一个智能体在感染细菌的病毒中发现一段紧邻两个基因（一个已知酶、一个未知蛋白）的短重复DNA序列，构造类似CRISPR。该公司称该系统功能尚不清楚。首席执行官Dario Amodei在联合国安理会视频讲话中表示发现仍属初步，“可能构成新的基因编辑机制，或用于基因治疗”；发现尚未经评审，专家呼吁进一步研究。
Tapio Schneider撰文讨论AI在数学、科学与工程中的角色。OpenAI于9月8日宣布的强迫Navier–Stokes方程有限时间爆破解，由约10,000个AI智能体并行探索生成，随后在Lean中形式化并验证；形式化验证支持其正确性，但数学界仍在消化。陶哲轩等人认为，证明的意义不止于判定命题真假，还在于推进对形状、数字与自然现象基本结构的概念性理解；Yehuda Rav说“定理是标题，证明是内情”。Timothy Gowers指出AI生成的证明行文欠佳很可能只是暂时困扰。作者主张，自然科学与工程同理：episteme（解释性理解）本身即目标，techne（预测与制作的技艺）在预测可被检验时可独立成立——黑箱AI天气模型因预报每天可核对而可信——并可反过来作为服务于理解的工具，例如AlphaFold预测3D蛋白质结构（原文此处截断）。
美国AI初创公司 Anthropic 宣布其分子生物学实验室的首个发现：Claude 模型在感染细菌的病毒中看到一段此前似被忽视的重复DNA序列，紧邻一个已知酶基因和一个功能未知的蛋白基因，结构类似 CRISPR。据公司介绍，约950个由Claude驱动的软件智能体用21小时梳理DNA序列数据库，从20多万个某类酶的基因中挑出20个值得深入研究的候选，这工作量相当于专家数周甚至数月。研究以预印本形式发表，尚未经同行评审，新系统ART功能未知，初步实验提示它或许像CRISPR一样可编程。Dario Amodei 称该发现仍属“初步”，“可能构成一种新的基因编辑机制”；Feng Zhang 称这段重复DNA“确实有趣”，值得进一步研究。
Edison Scientific 与 FutureHouse 借鉴数学领域的百万美元猜想难题，联合推出《Millennium Problems for Biology》。首批12道难题由 Sam Rodriques 和 Michaela Hinks 在两支团队反馈下拟定，每道题既要求极难攻克，又能在简单实验环境中轻松验证；因此像“Solve Aging”这类重要却难以验证的宏大目标未被纳入。解决其中任何一题都将是生物学或生物技术的重大进展，多数还能为治疗疾病做出实质贡献，被称为 AI 在生物学上“最后一次合理评估”。清单为持续维护的开放项目，将随科学进展修订扩充。