Sonos计划9月举办发布会，加码布局家庭AI
Sonos 计划在 9 月举办发布活动，推出支持语音命令的 Ace Ultra 耳机，并明确将“家庭 AI”的核心押注在硬件而非大模型上——这家公司认为，模型会趋同，真正壁垒是已经“住进”家庭的那个设备。
标签： 大模型
Spotify 将标注“AI Persona”个人资料，并将其音乐排除在推荐之外
Spotify 将为 AI 生成的虚拟艺术家档案打上“AI Persona”徽章，并将这些音乐移除编辑、算法及个性化推荐（用户主动关注除外），官方明确区分的是“档案是否代表真人”，而非“音乐是否由 AI 制作”。
Quote of the day by musician Nick Cave on AI-generated lyrics: ‘A grotesque mockery of what it is to be human’ — dismissing the use of AI in the creative process
澳大利亚音乐人 Nick Cave 公开抨击 AI 生成的仿他风格的歌词是“对人类本质的 grotesque mockery（荒诞嘲弄）”，称算法没有感受力，无法复制真正的人类创作。与此同时，流媒体平台上的 AI 生成歌曲占比已超过一半，音乐产业正面临前所未有的大规模机器创作冲击。
一款新工具把千篇一律的AI写作变成自然流畅的人类文章，终身仅需79美元。
UmanWrite 是一款让 AI 生成文本变得更像真人写作的工具，目前以 79 美元终身买断的形式促销（原价 1799 美元）。它解决的问题很具体：Claude、GPT 生成的文字常带机器腔，需要人工润色才能发布。
GitHub Copilot for JetBrains 中的 Copilot 内存和 Ollama
GitHub Copilot for JetBrains 推出跨会话记忆、原生 Ollama 本地模型接入，以及更细粒度的企业管控；这是 AI 编程助手从“单次对话工具”走向“有上下文的开发协作者”的一步，同时也给了开发者不使用云端模型的新选项。
小型自托管MCP，为Claude提供Google Sheets读写权限
开发者 andrewkushnerov 开源了一个约 1500 行 Python 的本地 MCP 服务器 gsheets-mcp，让 Claude Desktop 能通过 Google 官方 API 读写你的 Google Sheets，数据全程只在你电脑和 Google 之间流通，不需要任何第三方中转服务。
基于 Lean 的忠实性对齐评估
Millennium Research 发布了一款名为 leanscreen 的开源工具，用于检查 Lean 4 定理陈述是否存在“空洞承诺”——比如证明能编译通过，但定理本身只是恒等式，实际意义为空。这类问题正是大模型生成形式化证明时最隐蔽的风险点。
OpenSSH 10.5 发布，现已支持 AI 辅助
OpenSSH 10.5 正式发布，团队同时公开表示欢迎 AI 辅助提交的安全漏洞报告，前提是有人工研判、测试用例或修复建议。开源安全社区对“是否接受 AI 进代码树”仍有明显分歧，但至少在漏洞挖掘环节，AI 已被权威基础设施项目官方接纳。
NVIDIA JetPack 7.2.1 新增 Agentic 视频技能与 T3000 仿真
NVIDIA 发布 JetPack 7.2.1，为 Jetson 平台带来 Python 版的硬件视频编解码支持（PyNvVideoCodec 2.2）和一组 Agentic 视频技能，让开发者可以用自然语言驱动、验证视频 AI 管线的关键环节。
硅谷观察日记｜AI恐慌退潮，分享我走访多所大学后的四点观察
一位教育观察者走访美国五所高校后发现，大学对 AI 的态度正从“封禁还是放开”的恐慌，转向更具体的教学问题：一项任务里，哪一步可以交给 AI，哪一步必须由学生亲手完成。这说明 AI 正在从被监管的“危险品”变成大学的基础工具层。