OpenSSH 10.5 发布，现接受 AI 修复
OpenSSH 发布 10.5 版本，并在官方发布说明中明确接受 AI 辅助生成的代码修复。作为全球最核心的安全基础设施之一，OpenSSH 的这一姿态意味着开源维护者开始认真对待 AI 写代码这件事。
分类： AI 资讯
Anthropic 发布《Claude 如何标记 AI 生成内容》一文，却没有解释 Claude 如何标记 AI 生成内容
Anthropic 宣布将在 Claude 生成的文本中嵌入不可见水印以符合欧盟法规，但并未解释具体技术方案，引发外界对文本质量、隐私和可检测性的广泛质疑。
作者因参与2022年Google AI研究而招致强烈反对
2022年Google邀请13位知名科幻作家参与一个由LaMDA模型驱动的AI写作工具研究，如今该研究被翻出，参与作家遭文艺界抵制，反映了创作者群体对AI版权训练问题的强烈不满。
英伟达 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 的设计哲学恰好与这一范式转变高度契合。