标签: AI

清除筛选

Headroom 拆解:AI Agent 的本地上下文压缩层,输入 token 最高省 57%

AI 编码代理的 token 消耗大头通常在输入侧:工具返回的搜索结果、日志转储、RAG 检索块、读进上下文的文件,加上越滚越长的会话历史,每一轮都在向模型重复发送数万 token。开源项目 Headroom(GitHub:headroomlabs-ai/headroom,Apache 2.0 协议)在 agent 与 LLM 之间加了一层本地压缩,官方给的…

开源AgentAI

DeepSeek 开放自研搜索:Search 与 Fetch API 技术解读

10 月 17 日,DeepSeek 在官方 API 文档更新中开放了两个此前只供内部模型使用的网络工具接口:Search API 与 Fetch API。前者按查询返回结构化网页结果,后者把单个网页正文抓取为 Markdown。两个接口的单价均为每 1000 次成功请求 0.75 美元(国内版 5 元人民币),2026 年 11 月 1 日 00:00(北…

Lean 内核被 AI 攻破之后:v4.35.0 带上五个证明内核,两个完成形式化验证

AI 生成的数学证明能不能信,取决于最后把关的验证器本身有多可靠。10 月 15 日发布的 Lean v4.35.0 给这个问题一个工程答案:这个定理证明器现在自带五个证明内核,其中两个是经过形式化验证的,一条命令就能让它们交叉复检同一批证明。 leanprover/con-leche:带一致性证明的外部 Lean 检查器 Lean 是当下 AI 数学生态的…

VoiceStudio:本地开源语音工作台拆解,OmniVoice 引擎让 600 种语言 40 倍速克隆声音

一个 2026 年 4 月才创建的 GitHub 仓库,现在每天还在以两千多 star 的速度增长。VoiceStudio 是一个完全本地运行的语音工作台:克隆声音、按文字描述设计声音、给视频配音、录音转文字、批量产出有声书,全部在自己机器上完成,不依赖任何云端 API。它 73,225 个 star 的背后,有一个常被忽略的技术事实:真正干活的引擎是 k2…

PS5LM 拆解:越狱 PS5 上的 llama.cpp,21 token/秒跑 27B 模型

2026 年 10 月 16 日,Hacker News 首页出现一个让极客社区集体怀旧的项目:开发者 cobanov 发布的 PS5LM,在越狱后的 PS5 上原生运行 llama.cpp,把这台游戏主机变成客厅里的本地大模型服务器。项目上线一天拿下 290 分,仓库 10 月 1 日创建,Star 数已过 400。 ![PS5LM 主界面:Qwen3.8…

NIST 椭圆曲线种子悬案告破:Claude 用半小时解开 28 年前的 srand48 时间戳

2026 年 10 月 15 日 UTC 01:07:51,一条悬赏认领记录出现在 Filippo Valsorda 三年前发起的 NIST 椭圆曲线种子悬赏页面上。认领人是一支 Anthropic 团队,他们没有按传闻中的思路去找那句「英文俏皮话」,而是让 Claude 从零推断这些种子是怎么生成的。答案揭开时,密码学界攒了近三十年的猜测集体作废:这些种子…