作者因参与2022年Google AI研究而招致强烈反对
2022年Google邀请13位知名科幻作家参与一个由LaMDA模型驱动的AI写作工具研究，如今该研究被翻出，参与作家遭文艺界抵制，反映了创作者群体对AI版权训练问题的强烈不满。
标签： DeepSeek
英伟达 Nemotron 3.5 Lightning
英伟达发布了开源大模型 Nemotron 3.5 Lightning（30B 总参数、仅 3B 活动参数），主打低算力消耗和超长上下文，单张消费级或工作站级 GPU 即可运行，瞄准的是长时运行的 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 已被权威基础设施项目官方接纳。
Google旗下Gemini应用用户数飙升至十亿
谷歌 CEO 皮查伊宣布，Gemini 应用月活跃用户突破 10 亿，成为谷歌第 14 个达到这一里程碑的产品，也让 Gemini 在用户规模上与 ChatGPT 站到了同一量级。
Codex Security，开源了！
OpenAI 将旗下 AI 安全插件 Codex Security 正式开源，以 npm 包形式向所有人开放，并支持接入第三方大模型。这意味着 AI 编程工具正在从“生成代码”走向“自动审计代码安全”，开发者可以低成本为任何 Agent 工具加上安全外挂。
为什么Go是人工智能辅助软件工程的理想语言
谷歌官方博客发文称，Go 语言因注重可读性、内置完整工程工具链和长期兼容性，正成为 AI 辅助编程时代更高效的人机协作语言——当 AI 负责写代码，人类的核心工作转向审查与维护，Go 的设计哲学恰好与这一范式转变高度契合。
NVIDIA JetPack 7.2.1 新增 Agentic 视频技能与 T3000 仿真
NVIDIA 发布 JetPack 7.2.1，为 Jetson 平台带来 Python 版的硬件视频编解码支持（PyNvVideoCodec 2.2）和一组 Agentic 视频技能，让开发者可以用自然语言驱动、验证视频 AI 管线的关键环节。
硅谷观察日记｜AI恐慌退潮，分享我走访多所大学后的四点观察
一位教育观察者走访美国五所高校后发现，大学对 AI 的态度正从“封禁还是放开”的恐慌，转向更具体的教学问题：一项任务里，哪一步可以交给 AI，哪一步必须由学生亲手完成。这说明 AI 正在从被监管的“危险品”变成大学的基础工具层。