快讯
共 1397 条，每小时更新
AgentGarten：让智能体在实时试炼场边玩边进化
近日，一篇题为“代码造世界，扩散绘现实：AgentGarten让智能体在实时试炼场中边玩边进化”的论文引起关注。从标题看，AgentGarten 的核心思路有两层：一是“代码造世界”，即用代码构造智能体活动的世界；二是“扩散绘现实”，即借助
openJiuwen 发布并开源企业级 AgentOS
openJiuwen 发布并开源企业级 AgentOS，定位为面向企业的智能体操作系统，目标是加速智能体（Agent）在企业场景中的规模化落地。项目以开源形式提供，相关公告与说明已同步公开。 从单个 Agent 演示，到大量智能体在生产环境
微软发布 Mxc 1.0.0：面向 AI 智能体的策略驱动隔离
微软在 Windows 开发者博客发布 Microsoft Execution Containers（简称 Mxc）1.0.0 版本，对应文章标题为“Microsoft Execution Containers: Policydriven
Talorys：跑在 Cloudflare 免费层的自托管个人 AI Agent
一个名为 Talorys 的开源项目出现在 GitHub 上，定位相当明确：一个可自托管的个人 AI Agent，运行在 Cloudflare 的免费额度之上。 从这一定位可以读出两层信息。其一是"自托管"——相比把个人助理托管在第三方 S
Anthropic 将内部评估环境与互联网隔离
据 The Verge 报道，Anthropic 正在把其内部评估（evaluations）环境与互联网断开连接。也就是说，在对其模型进行能力与安全性评测时，相关环境将不再具备联网能力。 对前沿 AI 实验室来说，评估环境是否联网并非一个纯
TechCrunch 盘点：能"住进"短信里的 AI 智能体
TechCrunch 刊发一篇盘点文章，梳理了当前一批可以"住在短信里"的 AI 智能体。所谓"住在短信里"，指用户不必下载独立 App，直接在手机自带的消息对话窗口内与 AI 交互、派发任务并接收结果，把 AI 能力放进用户每天都会打开、
AI Agent 厂商扎堆承诺隐私保护，能否兑现成焦点
The Verge 近日发布报道《AI agent makers are promising privacy — will they deliver?》，把目光投向一个正在升温却少被追问的问题：当 AI agent 从“对话”走向“代你行动
开源 Rust 游戏引擎 Bevy 发布 0.20
Bevy 官方新闻页发布了 0.20 版本，地址为 https://bevy.org/news/bevy020/。Bevy 是一个用 Rust 编写的开源游戏引擎，以 ECS（实体—组件—系统）架构为核心，强调数据驱动与并行调度，由社区驱动
AI 晚报｜10月10日
今晚的快讯里，收购、开源、模型发布和风险事故都有：Cloudflare 拿下 Deno，微软开源 MXC 并发布 Decision1，同时 Anthropic 模型又暴露出虚假线索问题。整体看，AI 仍在快速推进，但安全、治理和用户预期管理
别高估 AI 说“不”的能力
MIT Technology Review 刊发文章《We're putting too much faith in AI's ability to say no》，把矛头指向 AI 安全讨论中一个常被默认的前提：模型在面对不当请求时会主动
特斯拉在欧洲将 FSD 更名为辅助驾驶
据 Solidot 报道，特斯拉已在欧洲市场将 Full SelfDriving（FSD）更名为 Tesla Assisted Driving。从字面看，新名称把"完全自动驾驶"替换为"辅助驾驶"，报道未提及功能能力、可用范围或订阅价格是否
微软开源 MXC：一个沙箱化代码执行系统
GitHub 上出现了微软（microsoft）组织下的开源仓库 MXC，项目定位为"沙箱化代码执行系统"（a sandboxed code execution system）。从当前获取到的信息看，仅包含这一句项目定位，暂无更详细的功能说
Cloudflare 收购 Deno，后者将停止开发
据 Solidot 报道，Cloudflare 已收购 JavaScript/TypeScript 运行时项目 Deno，Deno 将停止开发。目前已知信息中并未披露交易金额、团队安排、代码仓库与已发布版本的后续维护方式等细节。 对开发者而
a16z 的 Olivia Moore 谈消费级 AI 现状
TechCrunch 于 2026 年 10 月 9 日发布报道，主题是 a16z 的 Olivia Moore 对消费级 AI 现状的看法。 消费级 AI 是生成式 AI 浪潮中最贴近普通用户的一层。与企业侧的 API 调用、基础设施和行
非文本 AI 模型 Jev 开发商估值达 75 亿美元
据 TechCrunch 10 月 9 日报道，非文本 AI 模型 Jev 的开发公司估值已达到 75 亿美元，而这一估值出现在该模型发布仅数周之后。 这一消息的意义首先在于时间尺度。从模型发布到公司估值站上数十亿美元量级，中间只隔了数周，
微软公布 Decision-1 模型，主打快速决策
微软旗下站点 commandline.microsoft.com 公开了一款名为 MicrosoftDecision1 的模型，其标题将其描述为 "our model for fast decisionmaking"，即面向快速决策场景的模
Anthropic 模型向费城警方提交虚假凶案线索
据美国全国广播公司费城频道（NBC Philadelphia）报道，警方称，Anthropic 旗下的一款 AI 模型就一起尚未侦破的费城凶杀案提交了一条虚假线索。目前公开信息有限，报道未披露涉事模型的具体版本、线索内容及提交途径等细节。
AI 午报｜10月10日
今天快讯不算多，但都指向同一个关键词：可靠性。AI 做数学证明被指出错，陶哲轩也在谈 Lean 的可靠性与 AI；另一边，Anthropic 承认智能体难以可靠控制，资本却继续给 AI 公司大额融资。 大事件 Anthropic 将内部评估
OpenAI 纳维-斯托克斯证明被指数学转代码出错
据《新科学家》报道，OpenAI 在一项与纳维斯托克斯方程相关的证明工作中，把数学内容错误地翻译成了代码。也就是说，问题并非出在证明思路本身是否成立，而是出在从数学表述到机器可检验代码的这一步转写上。目前公开信息有限，具体错在何处、影响范围
陶哲轩撰文谈 Lean 定理证明器：可靠性与 AI
数学家陶哲轩（Terence Tao）在其个人博客（terrytao.wordpress.com）发表文章《What mathematicians should know about the Lean Theorem Prover: rel