JUAN LI · AI4SCIENCE
每日简报从有可靠来源、已完成中英文整理的动态中，优先挑选信息完整、便于核验的事件。简报由 AI 自动编排，条目默认为 AI 生成、未逐条人工审核（人工复核条目单独标注），引用科学结论前请核验原始来源。
精选依据：只收录有可靠来源、已完成中英文整理的 AI4Science 动态；优先保留信息更完整、便于核验的事件。
Gary Marcus 在这篇仓促写就的评论中指出，OpenAI 新发布的数学成果真正的新闻不在于结果，而在于对外说明的含糊：所谓“相同流程”“使用一个未公开模型”的说法无法通过同行评审，外界无从知道证明是一次性生成再由符号系统 Lean 验证，还是经过迭代过程，也不知道失败率、训练、后训练与数据增强的情况。因此，他对该成果在数学之外有多强的泛化能力毫无概念。他批评社交媒体讨论已沦为不明就里的欢呼，认为新系统既可能是迈向 AGI 的一步，也可能只是在可验证领域对 Lean 与合成数据的巧妙利用、毫无通用性；仅凭初步报告几乎看不出任何东西。
晶泰科技推出 Kodexia™，号称行业首个闭环小干扰 RNA（siRNA）发现平台，将生成式 AI、第一性原理驱动的生物建模与自动化实验结合。公司同时宣布推进六个自研治疗项目，覆盖代谢、肾脏、呼吸和中枢神经系统疾病，其中过半已完成体内有效性评估。IgA 肾病为该架构的先导项目，按计划将在九个月项目周期内完成临床前候选物选择，而行业通常为 12 至 18 个月。平台还将双靶点 siRNA 作为单一分子进行全局协同优化，用于单一靶点干预可能难以充分应对的疾病生物学。
AI智能体自主科研能力提升，研究者担心"会被机器人抢发成果吗"：过去五周内至少两次，学者钻研的问题被AI公司抢先作答或宣布结果，有人因此减少使用可能抓取未发表工作的工具。9月7日，纽约大学数学家Tristan Buckmaster称与Anthropic的Levent Alpöge围绕Navier–Stokes问题已推进一年；次日OpenAI宣布其agents解出该难题，Buckmaster质疑该时间点，并怀疑两人上传的信息被用于训练；OpenAI否认，称调查确认其"prompts"不可能以任何方式影响系统。
黑箱优化（BBO）常见于目标评估昂贵且受限的科学与工程问题。现有LLM智能体结合任务语义、计算、优化工具与反馈决策求解BBO，但任务领域和系统配置不一，结果难以比较。为此，作者提出AgenticBBO-Bench，在统一有限预算协议下覆盖合成函数、超参数优化、数据库调优、芯片设计与分子设计五个领域。实验显示，智能体BBO在全部五个领域族平均得分高于直接LLM方法，并在四个领域优于最佳数值优化器。研究还考察优化工具、任务信息与先验知识、LLM在搜索中的作用三因素：额外数值工具未持续提升性能；任务语义普遍有用，而具体先验较不可靠；数值优化器可吸收智能体搜索轨迹带来的增益。最后，提出五任务前沿挑战，在Codex框架下评估七个LLM，GPT-6 Astra和DeepSeek-V4.1-Flash位于性能与成本的Pareto前沿。
Anthropic 以 Claude 闻名，如今却雇用分子生物学家、研究 DNA，并在旧金山湾区运营一间“湿实验室”，让科学家直接处理生物材料。公司称理由很直接：若 Claude 要帮助科学家取得关于生物学的发现，这些发现终须在物理世界中被检验。Anthropic 于 2026 年春季成立生命科学研究组，考察通用型 AI 模型能否系统性地加速生物发现；自建实验室让同一团队贯通从提升 Claude 生物学推理到用实验检验其假设的全过程。公司 9 月 23 日称，Claude 识别出一个此前未被表征、与异常重复 DNA 序列相关的酶系统，其模式与 CRISPR 系统有相似之处，但研究者尚不清楚该系统的作用；结果以预印本发布，仍需进一步科学检验。