◆ AI 总结

本期重点关注AI工具实用扩展与【智能体可靠性研究】。此外，【月球科学基础模型】和可信执行环境联邦学习推动AI向专业科研与隐私计算落地。

模型动态

Google 发布 VeriHarness 提升智能体结果验证能力

VeriHarness让同一模型比较多个rollout的分歧与遗漏，再依据工作区证据修订判断；已开源2.6万条rollout。详情：https://aihot.news/items/okjqysk33wv56q8vfmahbzo1g[7]

产品工具

OpenAI

开源 Skill 让多种 AI Agent 调用 Codex 生图能力

该 Skill/MCP 可让豆包、Claude Code等调用Codex生图，适合制作封面和信息图。安装：npx skills add joeseesun/qiaomu-codex-imagegen。项目：https://github.com/joeseesun/qiaomu-codex-imagegen[1]

开源菜单栏工具统一统计多种 AI 编程工具用量

一款【开源Token统计工具】可汇总多个AI编程工具的消耗，帮助开发者追踪成本与配额。详情：https://linux.do/t/topic/2982590[2]

技巧教程

OpenAI

GPT-6 Codex 流式输出异常引发开发者排障讨论

用户发现GPT-6正文delta始终为1，首字延迟达20至120秒，而GPT-5正常，已排除代理与网络因素。案例：https://linux.do/t/topic/2981503[3]
Claude / Gemini

社区插件让 Claude Opus 规划、Gemini 执行任务

agy插件尝试让Opus负责规划并调用Gemini子代理执行，展示多模型协作工作流。详情：https://linux.do/t/topic/2982069[4]

行业资讯

NASA 与 IBM 开源月球科学基础模型

NASA与IBM用17年轨道器数据训练月球基础模型并开源，面向月球科研与遥感分析。详情：https://aihot.news/items/bve5l88gurx3hizbom2t0k09k[5]

Google 将联邦学习关键计算迁入可信执行环境

Google通过【TEE、透明日志和可复现构建】提供可验证的差分隐私训练，已用于Gboard。详情：https://aihot.news/items/pnlu8kzbj4t8dn8nih3pwvdr7[6]