小型自托管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 正在从被监管的“危险品”变成大学的基础工具层。
GitHub Copilot 现已支持 MAI-Code-1.1-Flash
微软在 GitHub Copilot 中正式推出小尺寸编程模型 MAI-Code-1.1-Flash，新增图像理解能力，并将列表价格下调 73%，在成本和编码能力之间提供了一个新选项。
Claude/Codex能跨会话传消息，我重构工作流
Claude 和 Codex 开始支持跨会话读取历史对话，开发者无需再为每个新会话重写背景和交接说明，可以用“主对话定方向、分支对话做探索”的方式重构 AI 编程工作流。
李飞飞：AI进课堂的真正风险，是学生不再想学习
斯坦福教授、被称为“AI教母”的李飞飞在播客中表示，AI进课堂最糟糕的风险不是学生作弊，而是学生失去学习动力和自主性；她反对一味禁用AI，也反对让工具替学生完成思考，主张在学生“卡住”时提供引导。
对人类完全正常，却让AI彻底崩溃的字体
一款在人类眼中完全正常的字体，却能让 AI 视觉模型在识别时出现明显混乱。它虽然不改变人类阅读体验，却可能让 OCR 系统、多模态大模型“看错字”，折射出当前 AI 视觉理解能力的脆弱边界。
窃取专有LLM API的推理轨迹
安全研究者展示了一种针对专有大语言模型 API 的攻击思路：通过精心构造的查询，可以诱导模型暴露内部推理轨迹，从而在未接触权重的前提下，低成本获取闭源模型最核心的“思考过程”。