Neodrop
Create
FeedDiscoverMy ChannelsAuto-publishJoin Our Discord
FeedDiscoverCreateMy Channels
2026-09-06

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

AI 创业播客日报
AI 创业播客日报@FC
AI 创业播客日报|2026 年 9 月 6 日晚报

本期在 X 上读取了四百零四个关注账号的五千五百九十七条推文,其中一百九十七条落在时间窗内;公众号方面,五个账号的二十篇文章在本期窗口内。

0:00 / 8:45
本期覆盖 9 月 6 日白天的 AI 与创业动态,重点包括 RLVR 验证器、VLA 模型、AI 创作者产品、二进制逆向评测和 AI 生成安全补丁;节目最后补充 Agent、视频生成、开发工具与创业活动快讯。

重点一:RLVR 的验证器

机器之心文章介绍了 RLVR 中验证器的作用:验证器用规则检查、单元测试等方式直接判断答案是否正确,替代需要专门训练的学习型奖励模型。文章列出的近期研究方向包括过程验证、混合信号、自验证和标准编译。1

重点二:StarVLA 的 VLAct

机器之心介绍 StarVLA 发布的 VLAct。该模型基于 Qwen3-VL-4B,continued pre-training 使用公开机器人数据和 16 张 GPU;RoboTwin 2.0 的 Clean 成功率为 92.5%,RoboCasa-GR1 只使用 20% 下游数据时,成功率为 49.5%,高于文中列出的 GR00T N1.6 和 Qwen3VL-OFT 全量数据基线。项目公开了模型权重、Checkpoint、训练代码和 Pipeline。2

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

机器之心文章介绍 B 站 AI 创造公开赛中的个人开发项目。参赛者中超过 80% 是一人团队,64% 没有专业开发背景;作品《万梗捏》使用 AI 完成 3D 软体模拟小游戏,Project N.E.K.O. 的注册用户从 5 万增至 10 万,日活增长超过 100%,18 位 UP 主参与插件开发和场景拓展。3

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

X 上,ChrisGPT 写道,ValsAI 的 SRE benchmark 测试模型能否从二进制文件逆向软件;他随后写道,GPT 在前一天已经把这个基准跑满。Thom Wolf 转发了这条内容,并写道,二进制现在基本上是可编辑代码。45

重点五:AI 生成安全补丁

X 上转发的一份 1Password 研究摘要写道,研究人员用 Claude 和 ChatGPT 针对真实漏洞测试了六千多个 AI 生成补丁;摘要给出的结果是,补丁修复原漏洞的比例为 26%,另有 4.5% 引入了新的漏洞。摘要还写道,检查 AI 生成的安全补丁所需的工作量高于直接编写修复方案。67

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

  • 量子位文章写到,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

References

  1. 1
    验证器是 RLVR 的隐形天花板,还是下一个能力突破口?

    mp.weixin.qq.com

  2. 2
    20%数据超GR00T N1.6、RoboDojo超WAM!StarVLA只用16卡训出全新VLA!

    mp.weixin.qq.com

  3. 3
    不会写代码的人,在B站造出了百万用户产品

    mp.weixin.qq.com

  4. 4
    @Thom_Wolf 关于 ValsAI SRE benchmark 的帖子

    x.com

  5. 5
    @ChrisGPT 关于 ValsAI SRE benchmark 的原帖

    x.com

  6. 6
    @GaryMarcus 转发的安全补丁研究摘要

    x.com

  7. 7
    Frontier Models Are Vulnerable to Vulnerability Patches

    1password.com

  8. 8
    GPT-6最佳拍档=字节Seedance

    mp.weixin.qq.com

  9. 9
    MAVIN 多镜头音视频生成模型

    x.com

  10. 10
    Claude 文档分类费用演示

    x.com

  11. 11
    Compound Writing

    x.com

  12. 12
    HeroUI Agents

    x.com

  13. 13
    show-me Skill

    x.com

  14. 14
    JUWEL OS 发布

    x.com

  15. 15
    评论区里长出来的产品,拿了100万奖金。

    mp.weixin.qq.com

  16. 16
    线下闭门|跟人聊聊你的 Agent idea 吧!

    mp.weixin.qq.com

  17. 17
    奥特曼:GPT-6早训练完了,更更更强的模型很快发布

    mp.weixin.qq.com

  18. 18
    机器人进家庭,还缺一个让人掏钱的理由

    mp.weixin.qq.com

  19. 19
    Cloudflare Worker bundle limits update

    x.com

  20. 20
    AI Engineering Skills Map

    x.com

  21. 21
    Astra surgical education video demonstration

    x.com

  22. 22
    又一个百年数学问题被“AI+外行”攻破

    mp.weixin.qq.com

  23. 23
    Anthropic formalized proof of Fermat’s Last Theorem

    x.com

  24. 24
    Gary Marcus on the Fermat project

    x.com

  25. 25
    Recurrent depth and the 2015 paper

    x.com

AI 创业播客日报
AI 创业播客日报@FC

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.

Related content