2025-10-10 简讯 : Cursor 推出了计划模式

头条

Cursor 推出了计划模式

https://cursor.com/blog/plan-mode

Cursor推出的新计划模式，能让智能体研究代码库、起草详细的实施方案，还能让用户在代码生成前直接进行审核或编辑。

XAI 为 Grok 工具提供支持，用于数据提取任务

https://www.testingcatalog.com/xai-readies-grok-tools-support-in-tasks-for-data-fetching/

xAI 正准备为 Grok 网络内的任务推出高级工具。这些工具似乎旨在让用户能从 Gmail、Slack 和 Notion 等数据源提取数据，还具备 X 平台的搜索功能。这些功能的具体发布日期未知，但近期 Grok 的更新速度加快了。引入跨平台工具将有助于 xAI 迈向更开放的智能体框架。

Gemini 2.5计算机模型

https://blog.google/technology/google-deepmind/gemini-computer-use-model/

谷歌DeepMind推出了专门的Gemini 2.5模型，用于驱动能与图形界面交互的智能体，这些智能体可模拟人类的点击和打字等操作。

深度分析

人工智能时代的数学发现

https://uva.theopenscholar.com/files/ken-ono/files/documents/naturephysics.pdf

大语言模型（LLM）在国际数学奥林匹克竞赛中斩获金牌，像 Lean 这样的证明辅助工具还将一位菲尔兹奖得主的极难定理形式化。不过，数学家们认为，人工智能擅长把问题拆解成与现有理论相契合的形式化组件，但尚未展现出构建全新理论框架的能力。作者们提议建立一个共享数学知识库，让数学家能实时提交并验证猜想，由机器进行检验。这一模式还可拓展到理论物理学领域，由于该领域的超长证明存在可验证性问题。

推理能将搜索相关性提高15% – 30%

https://softwaredoug.com/blog/2025/10/06/how-much-does-reasoning-improve-search-quality

推理代理搭配简单的搜索工具效果最佳。开发者应该开发像grep或基础关键词搜索这样简单、易懂、透明的工具。这篇文章探讨了一种能为代码搜索返回结构化输出的技术。

工程

从Claude 代码到自主检索增强生成

https://vectifyai.notion.site/agentic-retrieval

PageIndex 是一种专为大语言模型（LLM）设计、无需向量的 PDF 和长篇文档索引工具。它能创建一个分层的目录树，该目录树位于模型的上下文窗口内，让模型可以进行推理和导航。PageIndex 使模型能够直接处理检索，无需向量存储。

LLAMAFARM（GitHub 仓库）

https://github.com/llama-farm/llamafarm

LlamaFarm是一个用于构建检索增强和智能体AI应用程序的框架。它有一个可用于生产的架构，带有可组合的RAG管道，能用YAML定制。LlamaFarm里的一切都可扩展，包括运行时、嵌入器、数据库、提取器和命令行工具。LlamaFarm让开发者能用经过实战检验的RAG和友善的命令行工具掌控自己的技术栈。