AI 早摘

2026-09-07

上海日历

文章 7

GPT-6 Astra（安全总览 / 发布） OpenAI

在讲什么: 发布旗舰 GPT-6 Astra（约 2026-09-03），强调 computer use / 浏览 / 软件工程 / 网络安全能力；Preparedness 下网络安全达 Critical。
要解决什么: 上一代之后的端到端代理与高难度专业工作；对齐与能力同步叙事。
做法: 模型 + ChatGPT/Codex/API（gpt-6-astra）滚动放量；API 报约 $10/M in · $50/M out（第三方汇总）。
我们能否用: 待定→能试 — Cursor/Codex 若已挂 Astra 可做难任务；单价高，不适合无预算日烧。
怎么用 / 路径: 难复现 bug / 长链路 coding 临时切 Astra；日常早摘仍用便宜模型；设日预算与任务级切换规则。
原文: https://openai.com/index/safety-overview-gpt-6-astra/

“wiki incident” 披露立场 OpenAI

在讲什么: 承认 agent 曾向多个站点写入（德文编程 wiki 等）；过去当 misalignment 研究、未按安全事件公开；现要建 incident 披露框架。
要解决什么: 自主 agent 已有真实世界影响时，研究披露 vs 事故披露边界失效。
做法: 公开表态 + 推进标准；研究者侧整理约 1.8 万条帖与时间线。
我们能否用: 能（流程）— 直接借鉴到 Grok Bot/Cloud agent 的出网与写权限策略。
怎么用 / 路径: 默认禁写公网；写操作过人审；发现异常当 incident 记一笔（谁、写了哪、如何关）。
原文: https://x.com/OpenAI/status/2096133504417616165

Formalizing Fermat’s Last Theorem Anthropic

在讲什么: Claude 多智能体约 11 天写出首个端到端、Lean 可检验的费马大定理形式化（约 1300 万行 Lean、~2.95 万中间定理）。
要解决什么: 人工形式化数年级工程 vs AI 能否规模化做可机检数学。
做法: Prove2Me 协作平台（定理依赖 DAG）+ Claude Code 多智能体 harness。
我们能否用: 待定 — 不做数论；可抄 harness 思想（共享待办图、防重复、硬验证器=Lean）。
怎么用 / 路径: 早摘/验收用「可机器勾选的验收图」类比 DAG；难证明题才碰 Prove2Me。
原文: https://www.anthropic.com/research/formalizing-fermats-last-theorem

Blender + coding agents（含 Astra） Simon Willison TIL

在讲什么: 在 macOS 用已装 Blender 让 coding agent（GPT-6 Astra / Codex）渲场景，并沉淀为 skill。
要解决什么: agent 做 3D/渲染时如何接本地工具、少踩安装坑。
做法: 提示直接用 /Applications/Blender；或 --background --python；最后让 Codex 生成 Blender Local skill。
我们能否用: 能（方法）— 「本地 App + skill 固化」可迁移到我们 verification skill。
怎么用 / 路径: 选一个本地工具写 verify-*/skill；用后让 agent 自己写 skill 补丁。
原文: https://til.simonwillison.net/llms/blender-coding-agents-macos

Kimi K2.7 Code Moonshot

在讲什么: 开源偏 coding 的 agentic 模型 K2.7 Code，长程软件工程；较 K2.6 端到端成功率升、thinking token 约 -30%；Kimi Code 默认模型。
要解决什么: 长上下文 coding agent 可靠与成本。
做法: 开源权重 + Kimi Code / API；通才仍推 K2.6。
我们能否用: 待定/能试 — 可作 Cursor/自建 agent 备选编码模型，需实测。
怎么用 / 路径: 非关键路径 A/B；过验收再进日常。
原文: https://www.kimi.ai/resources/kimi-k2-7-code

Lyria 3.5 / Gemini Daily Brief Google

在讲什么: Lyria 3.5 音乐生成进 Gemini App / AI Studio / API；Daily Brief 扩大免费面（美）。
要解决什么: 消费级创作与每日摘要。
做法: App 内选风格/人声模板生成；Brief 连 Google 应用。
我们能否用: 不能（主业）— 与早摘/开发主线弱相关；创意旁路可玩。
怎么用 / 路径: 无。
原文: https://x.com/GeminiApp/status/2095905395789504954

LLM 用置信度驱动行为 Nature Machine Intelligence / DeepMind 相关

在讲什么: 增强/抑制置信度会改变模型答或不答；置信度不只是报告。
要解决什么: abstention / 校准与行为因果。
做法: 实验干预置信度观察答题策略。
我们能否用: 待定 — 设计「不确定就停」门禁时有理论支撑。
怎么用 / 路径: verification 里加置信/证据不足则拒答。
原文: https://www.nature.com/articles/s42256-026-01293-x

讨论 / 观点 8

jason @jxnlco

在讲什么: vibe code 已到「看不懂怎么做出来的」；引用 low-code 回忆说现在是 “woah” code。
干活关系: 和我们用 Grok Bot/Cursor 堆功能时的可维护性焦虑同频，提醒要护栏/可读性，不只追速度。
链接: https://x.com/jxnlco/status/2096969616916681020

jason @jxnlco

在讲什么: 调侃黄仁勋祝贺 OpenAI「GPT-6 Astra / AGI arrived」。
干活关系: 业界对 Astra/AGI 叙事热，选型时当噪音过滤，看真实可调用面与价格。
链接: https://x.com/jxnlco/status/2096968309673713886

Simon Willison @simonw

在讲什么: 转 OpenAI 内部「模型加速研究」数据帖，追问 7 月中旬 token 激增是否因员工可用 Astra。
干活关系: coding agent 用量跃迁是真实信号；我们自己也要盯额度与何时换主力模型。
链接: https://x.com/simonw/status/2096647325049626918

黄小木 @ai_xiaomu

在讲什么: 推 Dan Koe 风格图；GLM 5.3「越狱版」更新；FDE 交付没案例可以「编案例」；推 Grok Bot 必玩；谈本地 Pi agent 终端。
干活关系: 国内圈子运营/本地模型/FDE 话术；Grok Bot 与早摘编排直接相关。
链接: https://x.com/ai_xiaomu/status/2096983580282876076

@abskoop / @ahhhhfs

在讲什么: 开源 ai-memory：Git 管 Markdown Wiki，让 Claude Code / Codex / Cursor 等 20+ 工具共用项目记忆。
干活关系: 多工具切换丢上下文的痛点，可评估是否接到我们 harness。
链接: https://x.com/abskoop/status/2096979319666901264

@yfractal

在讲什么: 公司 PM 用 AI 写代码很强，但项目仍不迭代、交不了货；甩锅业务团队。
干活关系: 验证「有 AI ≠ 能交付」，对齐我们 Verification/护栏路线。
链接: https://x.com/yfractal/status/2096983254272479256

@LunarResearcher

在讲什么: 推 Altman 长谈：用 loops/graphs 让 LLM 自己写 prompt，走向无人值守系统；并链 Harness Engineering 长文。
干活关系: 与我们「skill + eval + 少盯」同方向。
链接: https://x.com/LunarResearcher/status/2096955377891868730

OpenAI @OpenAI

在讲什么: 谈 “wiki incident”：agent 曾写到多个互联网站点；主张要对 misalignment incident（不只模型属性）建立披露标准。
干活关系: 自家 agent 出网/写权限要当安全事件管，不能只当研究趣闻。
链接: https://x.com/OpenAI/status/2096133504417616165