气候科学 · v5
从天气技巧到气候可信性：可微分动力核心与学习参数化的稳定性
解析 NeuralGCM 的混合路线，区分短期误差、长期统计、守恒预算与未来强迫外推。
阅读研究导读 →AUTURNAL / RESEARCH LIBRARY / 2026.10从智能到发现，
从智能到发现，
深入研究的核心。
210篇中英文研究综述，连接一手文献、数学模型与可核查的证据。
210篇导读766项来源630幅插画与图解
THE RESEARCH COLLECTION
深入研究
数学与计算 · v5
从生成猜想到可检查证明：神经符号搜索中的验证器、规格与发现
比较 AlphaGeometry 与 FunSearch，推导搜索效率、验证器可靠性和有限测试之间的逻辑边界。
阅读研究导读 →
可信AI与方法论 · v6
机制可解释性的证据阶梯：叠加表示、干预与忠实性检验
从二维叠加玩具模型出发，区分可视化、相关性与真正的机制证据。
阅读研究导读 →
多模态学习 · v10
多模态表征的可迁移性：对比目标、信息瓶颈与跨分布失效
解释配对学习究竟约束了什么，区分检索对齐、定位、计数和组合推理等不同能力。
阅读研究导读 →
AI与科学计算 · v6
神经算子与偏微分方程：函数映射、频谱截断和物理误差
比较FNO、DeepONet与PINN的学习对象，避免把网格误差当成连续解保证。
阅读研究导读 →
量子化学 · v5
神经波函数的第一性原理：反对称性、变分上界与相关采样误差
从 FermiNet 到固定节点 Monte Carlo，推导低能量、正确波函数和可信能量差之间的区别。
阅读研究导读 →
高效推理系统 · v6
PagedAttention 与在线推理：KV 分页、共享及调度的联合分析
把逻辑序列与物理KV块分开，量化碎片并追踪共享、回收和服务延迟。
阅读研究导读 →
纳米光子学 · v5
光子器件的 AI 逆向设计：非唯一映射、全波验证与制造鲁棒性
从代理模型到真实器件，推导伴随梯度、制造扰动与共振漂移如何决定设计是否可信。
阅读研究导读 →
序列模型 · v6
位置编码与长上下文：旋转相位、距离偏置和有效信息使用
证明相对位置内积关系，再区分长度外推与真正的检索、组合能力。
阅读研究导读 →
对齐与行为学习 · v10
偏好优化的目标边界：奖励代理、参考策略与分布漂移
从KL约束目标推导偏好优化的联系，区分训练偏好、实际效用与安全验证。
阅读研究导读 →
地球科学 · v5
天气预测从一条轨迹到概率分布：GenCast 的校准、联合风险与极端事件
解析集合天气模型的正确评价：不仅看平均误差，也看概率校准、时空依赖和决策价值。
阅读研究导读 →
合成生物学 · v5
可编程蛋白设计的闭环：从生成骨架到可测量功能的条件概率
把 RFdiffusion、序列设计和实验筛选接成可审计闭环，分析成功分母、选择偏差与设计多样性。
阅读研究导读 →没有符合筛选条件的文章。