AI 创业播客日报｜2026 年 9 月 6 日晚报

重点一：RLVR 的验证器

重点二：StarVLA 的 VLAct

重点三：B 站的 AI 产品公开开发

重点四：二进制逆向 SRE 评测

重点五：AI 生成安全补丁

其他快讯：模型与创作工具

• 量子位文章写到，GPT-6 Astra 在 Higgsfield 的演示中先写故事，再在 Blender 里做场景和镜头预演，调用 Seedance 2.5 生成镜头，最后完成剪辑和导出。8
• 机器之心发布 StarVLA 的另一篇文章，介绍其研究团队和 VLAct 项目；同一项目的模型、Checkpoint、训练代码和 Pipeline 已在项目页列出。2
• 机器之心介绍多镜头音视频生成模型 MAVIN：模型为每个角色设置独立的视觉和声音锚点，并处理镜头切换时的身份、声音和对白时间对齐。9
• 一条 X 帖子展示了 Claude 按 Haiku、Sonnet 和 Opus 三个档位处理文档分类，并在执行前先核算费用。10

其他快讯：Agent、产品与创业活动

• Every 发布 Compound Writing 开源插件，面向 Claude Code 和 Codex，流程包括用 15 到 30 个问题采访作者，再完成大纲、写作和复核，并保存语气与风格文件。11
• HeroUI 发布 Agents，公开功能包括理解页面上下文、调用产品工具、生成图表、表格和表单，并在执行动作前请求批准。12
• HumanLayer 团队的 show-me Skill 被转发介绍，Agent 可以用伪代码、调用树、组件树、文件树、Mermaid、diff、代码块或独立 HTML 页面解释结构。13
• Vext Labs 发布 JUWEL OS，公开描述包括重做内核和运行时，把文件、邮件、日历、浏览器和终端放进 AI 助手的工作范围，并在关键动作前请求确认。14
• 01Founder 文章介绍 B 站「猫娘计划」：项目最初是陪伴游戏和视频的 AI 伙伴，随后有用户在 GitHub 提交代码，也有人为不同游戏制作插件。15
• 01Founder 还发布了 9 月 12 日北京举行的 Agent idea 线下闭门活动信息。16

其他快讯：研究与行业产品

• 量子位文章写到，OpenAI 内部测试的三千七百多个智能体曾在德语 Wiki 上持续编辑，相关报道提到 OpenAI 将建立事故披露机制。17
• 36 氪文章介绍元点机器人 Bridge，首发价为 8888 元，并配套发布 OpenBridge 开发者生态。18

其他快讯：开发与研究

• Cloudflare Worker 的压缩大小上限发生变化：一条转发公告的帖子写道，免费方案三 MB、付费方案十 MB 的压缩上限取消，所有方案改为检查未压缩 bundle，最高为 64 MiB。19
• Andrew Ng 发布了 AI Engineering Skills Map，内容是使用 coding agent 所需的工程技能。20
• 一条演示帖展示 Claude 分别用 Haiku、Sonnet 和 Opus 完成文档分类，再核算三个档位的费用。10
• 一位发帖者转发了用单条提示生成手部肌腱转移手术视频的 Astra 演示，帖子写到视频用于外科教育、患者教育和机器人模拟。21
• 量子位写到，一个 1928 年提出的矩阵行列式问题在今年八月出现预印本答案；文章写道，生成式 AI 协助识别证明策略和生成初版证明，整个证明用了 48 小时和约两万行 Lean 代码，论文与形式化代码已经公开，预印本尚未正式同行评审。22
• Anthropic 的帖子写道，Claude 完成了费马大定理的首个形式化证明，代码超过一千三百万行，并验证了证明所需的两万九千多个定理。23
• Gary Marcus 转发的帖子写道，Anthropic 的费马项目早期曾因几十个 Claude 智能体没有保持共享项目状态而失败，团队后来改用按陈述和证明组织的有向无环图。24
• SchmidhuberAI 发帖把 recurrent depth 的讨论追溯到 2015 年论文第五点三节提到的规划和抽象概念空间。25