2026 年 RAG 技术综述：从混合检索到 Agentic RAG 的演进与开源生态全景
研究2026年11月14日
梳理 RAG 从朴素管线到智能体化的四代范式演进，覆盖混合检索、上下文工程、图结构、多模态等关键技术及代表数据，并对比主流开源系统的选型要点。
AI 破译哥德尔尘封手稿：663 条定理重见天日，选择公理证明只差一步
研究2026年11月13日
赫尔辛基大学团队用 Claude 解读哥德尔 1,009 页速记笔记，几天内完成人工需要数十年的工作，经 Coq 验证的定理约 400 条。
AMD Zen 6 实测：单线程比 Zen 5 快 21%，经典核与密集核首次在乱序引擎上分家
研究2026年11月11日
Chips and Cheese 实测 Zen 6 与 Zen 6c：EPYC 9686F 单线程领先 Zen 5 约 21%，两种核心首次在乱序引擎容量上分道。
Aqueduct：编码智能体改写程序并用 Lean 证明等价，189 个函数里 156 个拿到验证加速
研究2026年11月11日
Berkeley RDI 与 AWS 的 Aqueduct 让智能体改写函数并在 Lean 中证明等价：Verina 156/189 题拿到验证加速，几何平均 1.85×。
CyberBinGym：只给两个二进制，AI 智能体恢复漏洞 88%、真正利用仅 20%
研究2026年11月11日
Berkeley RDI 等发布 CyberBinGym：100 个真实漏洞、无源码无初始输入，Codex 恢复 88%、利用 20%，暴露补丁到部署的空窗风险。
OpenRouter 实测量化精度：fp8、fp4 与 fp16 在 240 道题上没测出差距
研究2026年11月11日
OpenRouter 在 Qwen3.8 27B 的 6 个端点上实测 fp16、fp8、fp4：240 道精确答案任务全部落在 98.3%–99.2%，精度标签未能预测准确率。
Modern Web Guidance：Chrome 联合 Edge、Firefox 与 MDN，用 252 篇指南纠正智能体的老旧 Web 写法
工具2026年11月11日
Modern Web Guidance 把 252 篇现代 Web 指南接进编码智能体，官方评测通过率平均提升 39 个百分点，无障碍检查提升 35 个百分点。
OpenRouter 实测 MCP、CLI 与 Skill 的上下文成本：同一个任务最多差 70 倍
研究2026年11月11日
OpenRouter 在同一个 GitHub 任务上实测三种取工具方式：CLI 1,421 token、Skill 3,315、GitHub MCP 默认 59,417，成本相差 17 倍。