Agent与软件系统 · v10
工具型 Agent 的可靠性：行动状态机、幂等语义与结果归因
把“模型提出动作”与“外部世界完成动作”分开，研究可恢复执行和真实任务结果之间的关系。
阅读研究导读 →AUTURNAL / RESEARCH LIBRARY / 2026.10从智能到发现，
从智能到发现，
深入研究的核心。
170篇中英文研究综述，连接一手文献、数学模型与可核查的证据。
170篇导读526项来源510幅插画与图解
THE RESEARCH COLLECTION
深入研究
AI与科学发现 · v6
AI 材料发现的证据链：势能模型、凸包与合成验证
分清候选生成、计算稳定性和实验材料，把每一层结果放回其证据范围。
阅读研究导读 →
AI与生命科学 · v10
蛋白质结构预测的证据层级：AlphaFold、置信度与实验边界
分清局部结构可信度、域间相对位置、复合物构型和真实生物学功能，不让一张漂亮结构图代替验证。
阅读研究导读 →
药物发现 · v5
AI 抗生素发现的证据链：化学空间、可解释结构与临床前验证
从千万候选排序到少量实测，分析结构新颖性、选择性、活性分母与机制归因。
阅读研究导读 →
自动化科学 · v5
自主实验室的科学闭环：主动学习、测量误判与可追溯发现
比较 A-Lab 与语言模型实验编排，将实验完成、目标确认、知识增益和自治程度分别计量。
阅读研究导读 →
生态科学 · v5
听见不等于存在多少：生态声学 AI、检测概率与生物多样性推断
从 BirdNET 到跨洲验证，区分叫声分类、物种占据、丰度与生态变化。
阅读研究导读 →
分子科学 · v5
从复合物坐标到分子机制：AlphaFold 3 之后的结合证据与可辨识性
把结构正确、物理合理、热力学结合与细胞功能分开，建立可被独立检验的分子证据链。
阅读研究导读 →
可信AI与方法论 · v6
从相关到干预：AI 因果推断中的识别、混杂与可迁移性
用一个可穷举结构模型展示观察差异为何不等于干预效果。
阅读研究导读 →
训练方法与预算 · v10
计算最优语言模型：缩放律、数据配比与受预算约束的训练决策
从约束优化推导模型与数据的配比，再将数据质量、训练阶段和部署成本纳入同一个决策问题。
阅读研究导读 →
可信AI与方法论 · v6
保形预测的有限样本保证：校准秩、交换性与条件覆盖边界
推导分割校准的分位数，说明覆盖率、集合大小和分布变化之间的关系。
阅读研究导读 →
神经科学 · v5
从神经连接图到脑计算：重建误差、动力学可辨识性与功能预测
连接组是带测量误差的结构约束，理解计算还需要动力学、功能观测与可反证模型。
阅读研究导读 →
数据与评测 · v6
数据去重与评测污染：从样本家族到可信泛化分数
分析重复、近似变体和测试泄漏，建立能复核误报与漏报的污染审计。
阅读研究导读 →没有符合筛选条件的文章。