Meta 发布了开放权重模型 Muse Glimmer,参数规模 30B,采用 Apache 2.0 许可。该模型直接瞄准本地代理场景,在 SWE-Bench、τ-Bench 等编程任务基准上取得高分,能够端到端地编写和调试代码、处理多轮请求。
Simon Willison 用 LM Studio(18.16GB 量化版)在本地运行,并通过 llm-coding-agent 插件让模型分析 Datasette 代码库,成功自动调用工具探索代码结构。模型同样支持视觉输入,他测试了描述自然照片的功能,结果准确。
Muse Glimmer 的 30B 大小刚好适合 32GB 以上 RAM 的机器,运行后仍有足够内存留给其他应用。对于需要本地运行编程代理(如驱动 Claude Code、Codex 这类工具)的开发者来说,这是一个可以直接落地的开放模型。
OpenAI 推出 ChatGPT Linux 桌面版,开发者可原生使用
OpenAI 正式发布 ChatGPT 桌面应用 Linux 版(预览版),支持 Ubuntu 24.04/26.04 LTS、Debian 13、Fedora 43/44 等主流发行版。该应用同时包含 ChatGPT、ChatGPT Work 和代码生成工具 Codex,覆盖所有桌面操作系统。Linux 是 OpenAI 用户最常请求的平台之一,此版本补齐了桌面端最后一块拼图。
Anthropic 的 Claude Linux 桌面版已于约一个月前上线,支持 Ubuntu 22.04+ 及 Debian 12+。OpenAI 的发行版选择以 Ubuntu、Debian、Fedora 为基础,后续可兼容更多下游桌面发行版。
来源:TechCrunch(2026.08.11) 链接:https://techcrunch.com/2026/08/11/openai-launches-chatgpt-desktop-app-for-linux/
Anthropic 未发布模型在黎曼猜想上取得进展,数学界关注
8月11日,Anthropic 宣布其未发布模型在黎曼猜想(Riemann hypothesis)上取得显著进展,成功提高了该猜想成立的下界。黎曼猜想是数学界最著名的未解难题之一,悬赏100万美元,已存在超过150年。
更值得关注的是进展的实现方式:Anthropic 一名未经数学训练的员工提示模型“认真尝试证明该猜想”,随后模型自主协调任务,运行一天半,共测试了650个想法,协调了60个子代理,消耗了3100万输出token。最终,2个子代理负责开发关键数学思想,13个贡献想法,30个尝试但未成功,13个验证正确性,2个协助撰写论文初稿。结果由Anthropic 两位内部数学家确认,并使用开源证明助手 Lean 形式化。
这是AI在数学领域一系列突破的最新案例。今年,多个厄尔多斯问题(Erdos problems)被AI解决。OpenAI 的“Astra”模型也证明了10项重大结果。Anthropic 此前还曾推翻雅可比猜想(Jacobian conjecture)。
这些成果引发数学界分裂。6月,一批著名数学家签署宣言,担忧AI会破坏“数学证明应归因于特定作者”的学术规范。但菲尔兹奖得主 Timothy Gowers 在博客中回应,认为AI可能以更复杂、积极的方式改变数学,并类比“星星不以天文学家命名,这并不成问题”。
来源:TechCrunch AI / Russell Brandom 链接:https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved-problems/
Anthropic 宣布将为 Claude 生成的文本和图像加入不可见水印,以符合欧盟 AI 法案的透明度要求。
根据 The Verge 报道(2026年8月11日),Anthropic 在 Claude 支持页面中说明:生成文本将嵌入不可见水印,生成文件(图像)将附带 C2PA 数字签名元数据。这些标记对人类不可见,但可被机器识别,以便平台和用户检测内容是否来自 Claude。
水印从新模型发布时即启用,现有模型正在逐步支持。文本水印直接嵌入文本,复制粘贴后仍保留,部分编辑也可能幸存;图像采用 C2PA 标准。Anthropic 未透露具体水印技术名称,但称不会改变文本含义、质量或可读性。
检测工具正在开发中,后续会公开技术文档。公司同时承认,任何标记系统都不是万无一失——C2PA 元数据易被剥离,文本水印的稳健性也尚未验证。
该措施将覆盖 Claude Platform(API)、Claude、Claude Code、Claude Cowork 和 Claude Tag 等所有产品,且通过 AWS、Google Cloud 或 Microsoft Foundry 访问 Claude 模型时同样生效。
xAI 联合创始人办新公司 River AI,11 亿美元融资做个人 Agent
成立于 2026 年 6 月、刚出隐秘模式两个月的 River AI,宣布完成 11 亿美元融资,由 General Catalyst 和 AMP PBC 联合领投,Nvidia、AMD Ventures、Y Combinator、Temasek 跟投。创始人 Igor Babuschkin 曾是 xAI 联合创始人,也在 DeepMind 和 OpenAI 做过 AI 研发。
Babuschkin 在启动博客里写,公司目标是“从头重建 AI 的堆栈:训练、模型、产品层,以及能让个人 AI 靠近你的新硬件”。他设想中的 Agent 不是“今天叫来干活的那种助手”,而是“安静的守护天使,知道你是谁,且只属于你,不是别人的”。
River 目前已经开放 API,按百万 token 计费,价格取决于使用的开源模型。开发者可以用强化学习(RL)和低秩适配(LoRA)对模型做微调。产品文档说,这是为了解决“提示工程”的局限:“提示词操控的是你不拥有、也无法改进的模型。River 让你把开源模型训练成真正属于你的模型,然后像调用任何端点一样运行它。”
公司宣称,企业可以在 15-20 分钟内完成一次复杂的强化学习训练,无需组建基础设施团队,成本相比闭源方案节省 2-4 倍。Babuschkin 认为,个人 Agent 的市场窗口正在打开:企业开始用混合模型(包括开源权重)来掌控自己的 AI 命运,同时 PC 厂商(戴尔、微软、惠普)正在与 Nvidia 合作推出 AI 硬件。
免费,每天一封,随时可退订。