据彭博社援引知情人士消息，人工智能公司Anthropic在完成对AI初创企业Decart AI的尽职调查后，已决定放弃此前洽谈的收购计划，交易估值约为60亿美元。消息称，Anthropic曾对这笔潜在收购进行探索，但最终选择不推进...

法国人工智能公司Mistral宣布完成由三星领投的30亿欧元D轮融资，投后估值达到210亿欧元，较一年前的117亿欧元大幅提升。本轮融资不仅用于继续推进大模型研发，也标志着Mistral正式向数据中心等基础设施领域扩展，以...

Spotify 工程团队披露，其内部工具 Portal 通过特定模式与 Claude Code 插件，将大文件读取和可预测的代码生成任务从 Claude Code 转移至成本更低的 Gemini 2.5 Flash worker。该机制利用 hooks 对超过大小阈值的文...

TypeScript模式声明与校验库Zod发布4.5版本，针对长期存在的内存占用问题进行了关键优化。此前，Zod会为每个schema实例预先绑定并附加数十个闭包方法，导致即使是一个简单的z.string()也会在堆中保留约7.5KB内存。4....

近日，OpenAI 发布内部观察，披露其研究流程正被编码智能体（coding agents）深度重塑。研究人员更频繁地调用编码智能体，自动生成代码并执行实验，实验迭代速度显著提升，使研究者能够将更多精力转向更复杂、更高阶...

Salesforce AI Research 发布了 Random Attention 代码仓库，对应论文《Random Attention: Rethinking KV Cache Eviction for Efficient Reasoning》。在大语言模型推理中，KV缓存占用大量显存，现有方法通常依赖学...

LLM-as-a-Verifier 是一个通用验证框架，其核心思路是让大语言模型直接充当“验证器”，在不引入额外训练的情况下，为任意智能体（agent）提供细粒度、可操作的反馈。该框架在编码、机器人和医学智能体等基准测试中均...

OpenAI 的 GPT-6 Astra 在机器人操控基准测试中展现出显著优势。研究人员将其接入 Inspect Robots 智能体策略，控制一对 YAM 机械臂执行两项任务：从桌面拾取红色方块放入碗中，以及抓取圆形蓝色拼图块嵌入匹配凹槽...