跳到正文
今天10月22日周四3 条
  1. elvis42

    告别上下文工程,迎来缓存工程。 玩笑归玩笑,这篇论文对这个问题采取了一种有趣的思路。

    引用DAIR.AI@dair_ai

    We love papers that go deeper down the stack. This is a good example that shifts from agentic context engineering to agentic cache engineering. They also apply recursive self-improvement to cache policies to further reduce cost by 7.1% over expert design. Specifically, this work focuses on KV cache management in long-running agents. When an agent summarizes or trims its history, the prefix change invalidates the cache after it, and the retained context must be prefilled again. Cache engineering gives the agent two operations on its own KV cache. One removes entries from future attention, and the other shifts the positions of the keys that remain. The trajectory text stays unchanged. This essentially provides a programmable interface for agents to define and refine their own cache engineering strategies. A rolling drop of old tool responses scores 1.7 points higher and costs 27.7% less than threshold-triggered summarization. Their AKV serving engine adds up to 1.2x throughput and 1.5x faster P95 latency. https://arxiv.org/abs/2610.28577 Chat with Paper: https://academy.dair.ai/papers/cache-engineering-for-agents-2610.28577

  2. Microsoft Research78

    微软研究者证明 31 年未解的 KLS 猜想

    微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,给出与维度无关的固定界,解决了高维几何与概率论中的核心开放问题。证明过程采用人类引导的智能体搜索,探索了约 100 条研究路径,由研究者筛选方向并验证结论;同期另有独立团队给出完整证明,并出现 Lean 4 形式化验证。作者称此前用多个前沿模型做无引导的端到端尝试未能达成目标。

    推荐理由:微软研究者用人类引导的智能体搜索证明 KLS 猜想,读者可看到人机协作在数学发现中的具体分工。

10月21日周三
  1. Rohan Paul78

    OpenAI 与 PerturbAI、Scripps Research 用 1946 个 GPT-Rosalind-5.5 智能体并行解析小鼠全脑 CRISPR 图谱,32 分钟完成其估计人类需数月的工作,产出脑疾病研究线索排序。

    引用OpenAI@OpenAI

    GPT-Rosalind surfaced a new lead for drug discovery: could restoring cholesterol transport protect neurons from degeneration? DCTN1 is a gene linked to Perry syndrome, a rare neurodegenerative disorder. In mouse-brain data, disrupting it increased expression of genes involved in making cholesterol. GPT-Rosalind suggested a possible explanation: cholesterol may not be reaching where neurons need it. That gives scientists a specific mechanism to test and, if confirmed, a direction for developing new treatments for neurodegenerative disorders. With @perturbai_tx and @scrippsresearch, a team of thousands of GPT-Rosalind agents worked in parallel, connecting gene-expression results from millions of mouse brain cells with scientific literature in just 32 minutes. We’re now expanding this collaboration to identify new drug targets. https://openai.com/index/scaling-ai-research-for-complex-biological-data/

    推荐理由:原文给出了智能体拆分大规模实验的具体做法与盲评对比数据,读者可据此判断并行智能体在科研分析中的分工方式。

  2. 雷锋网58

    北大董豪团队推出 HIL-UMI,让具身后训练摆脱真机依赖

    北大与启元机器人董豪团队推出 HIL-UMI,在无本体 UMI 手持夹爪采集过程中接入模型实时比对动作分歧,只在模型预测跑偏时提示人补录纠错数据。在折毛巾、整理桌面、叠方块、盖章四项真机任务上,相同数据帧预算下常规 SFT 平均进度分从 44.3 升到 58.0,HIL-UMI 达到 94.8,叠方块与盖章任务成功率满分。

  3. 钛媒体63

    麻省总医院布莱根团队在《柳叶刀·数字健康》发表研究:AI 凭人脸照片识别癌症患者死亡风险

    10月20日,《柳叶刀·数字健康》发表麻省总医院布莱根医疗集团的研究,其FAHR-Face模型仅凭一张普通脸部照片即可区分癌症患者的死亡风险。在3820名未参与训练的癌症患者中,被评极高风险的122人拍照后90天内64人去世,占比52.5%;评分最低的975人仅20人去世,占比2.1%。

  4. Rohan Paul75

    Anthropic 科学博客介绍,Claude 在其 Claude Science 环境中以智能体方式自主完成整套蛋白质设计流程,针对蝎毒神经毒素设计结合蛋白。

    引用Anthropic@AnthropicAI

    New on our Science Blog: designing protein binders against scorpion neurotoxins. Scorpions sting about 1.2m people every year, and antivenoms are often costly or in short supply. Claude has made an early step toward finding new treatments. https://www.anthropic.com/research/claude-scorpion-toxin-binder-design

    推荐理由:Anthropic 科学博客披露 Claude 作为智能体自主完成蛋白质设计流程,并给出两处实验室验证的分子数量。

10月20日周二
10月19日周一
10月18日周日
10月17日周六
  1. Google DeepMind78

    Google DeepMind 转发介绍,四个 Gemini 4 Argon 智能体在同一个 Minecraft 世界中从零开始,用 27 小时击败末影龙。它们只在沙盒中用代码和文本操作,共编写 2,783 个程序,通过聊天分配任务、共享笔记并互相调试错误,全程没有人类帮助。

    引用Maxence Faldor@maxencefaldor

    Four Gemini 4 Argon agents, one shared Minecraft world, one goal: defeat the Ender Dragon. 27 hours and 2,783 self-written programs later, the dragon fell. https://x.com/i/article/2111007444981645312

    推荐理由:四个 Gemini 4 Argon 智能体在共享沙盒中自行分工、写码与调试,展示了多智能体协作完成长程任务的一种路径。

10月16日周五
  1. Microsoft Research60

    微软研究院发布 Magnetar:基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,并输出可在约 12 毫秒内验证的简短证明。在 15 个基准程序上,它比同类最快的 zkVM 平均快 10 到 39 倍,在笔记本上每秒可证明 7.2 至 8.7 百万条 RISC-V 指令。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何在通用性、速度与密码学假设之间同时取得进展。

10月15日周四
  1. Latent Space58

    Leash Bio 的 Ian Quigley 谈 DEL 数据、Hermes 模型与智能体科学推理沙盒

    Latent Space 播客访谈 Leash Bio 的 Ian Quigley,讨论该公司如何用 DNA 编码库(DEL)获取高通量蛋白与小分子结合数据,并训练出在公开基准上跟上 Boltz 的 Hermes 模型。访谈还提到他们用多年积累的数据搭建智能体科学推理沙盒,让 LLM 在 6.5M 分子、100 次预算内寻找最佳结合物,相关预印本、博客和开放数据集即将发布。