⌘ K
… 读取采集状态 同步中...
雷

全部动态

今日 12 条
9月18日周五
  5. X：Greg Brockman (@gdb)1

    a16z 图表周报：AI 让应用数量激增，但下载与收入几乎停滞

    a16z 的 Charts of the Week 汇总多组数据指出，AI 代码生成工具推动 iOS、Android 和 Chrome 上每月新增应用翻倍至翻两番，但下载量（iOS 为评分数）基本停滞，达到 10+ 评分或 100+ 下载等 escape velocity 门槛的应用占比大幅下降，作者称之为 App-Slop。

  7. X：Greg Brockman (@gdb)1

    从 Bend 2 看氛围编码的陷阱：重造形式验证已有成果

    作者评论 Bend 2 这种为 AI 编码时代设计的语言：其首页 demo 用 58 行"法则"和 442 行 LLM 证明代码来表达玩家无法获胜的性质。作者让 LLM 无额外指引地在形式验证语言 SPARK 中复刻同一 demo，运行 GNATprove 后全部 12 项检查通过，且无需从零构建长证明。

  12. X：Greg Brockman (@gdb)1

    Z.ai 称 GLM-5.3 驱动的 Infra Agent 在 100，000+ 中国芯片上优化 GLM-5.3-Flash 推理，吞吐达基线 3 倍

    Z.ai 宣布其 GLM-5.3 驱动的 Infra Agent 为 GLM-5.3-Flash 设计、调试并优化了生产推理基础设施，覆盖 100，000+ 中国芯片。不到两周吞吐达到初始基线的 3 倍，硬件效率和单 token 成本据称与主流 Nvidia GPU 相当。团队称之为递归自我改进，即模型改进运行自身的基础设施。

  13. X：Greg Brockman (@gdb)1

    Trail of Bits 用 Agent 为 Miden zkVM 审计自建 LSP、反编译器和 Lean 形式化证明

    Trail of Bits 在审计 Miden zkVM 前，让 Agent 用六个月从零构建了 MASM 的 LSP 服务器、反编译器、静态分析引擎和 Lean VM 执行器模型。这些工具发现了可让恶意 prover 伪造 Falcon 签名盗取资金的高危漏洞，静态分析定位了 400 多处类型验证缺陷，Lean 工作产出 95 个机器验证的正确性证明，还发现两个单元测试未捕获的细微 bug。

  14. 优设AIGC12

    6组大牌充气Logo海报AI提示词解析

    优设分享6组将麦当劳、小米、奔驰、苹果、阿迪达斯及耐克Logo转化为充气雕塑风格的AI海报提示词。通过巨型软体造型、超大排版及差异化材质（如金属、果冻玻璃、橡胶）强化视觉反差。该设计适用于品牌创意与社交媒体配图，完整提示词可在评论区获取。

  16. X：Greg Brockman (@gdb)1

    美中专家提议共同制定规则禁止 AI 控制核武器

    Brookings 的 Melanie Sisson 和复旦的 Jiang Tianjiao 在 Trump 与 Xi 计划于 9 月 24 日会面前发表建议，主张 AI 系统不得自主发射核武器或攻击核指挥系统，人类须保留对战略基础设施 AI 网络攻击的完全控制，并就人类控制的定义达成共识。

  17. X：Greg Brockman (@gdb)1

    ComfyUI 动画工作流：概念图经 Tripo 生成 3D 模型再转任意角度

    ComfyUI 分享一个概念图转任意角度的动画工作流，其中 3D 生成步骤由 Tripo 完成。工作流分三步：概念图经 Tripo 生成并保存为 GLB 模型；静止画面用 Load 3D 输出视角后由 GPT Image 2 渲染成同风格插画；镜头运动则在视口中录制路径，作为 Seedance 2.0 的运动参考生成镜头。文末附工作流运行链接。

  20. X：Greg Brockman (@gdb)1

    如何利用大语言模型（LLM）进行写作：两条规则让模型当编辑不当枪手

    作者提出用 LLM 做文字编辑而非代笔的两条规则：不采用模型建议的任何措辞，并禁止模型给出鼓励。方法是自己写初稿，再让模型分轮次找出被动语态滥用、动词名词化、口头禅和可移动段落等问题，对比改写时可交给无上下文的模型判断，并配套用 Python、HTMX、SQLite、Tailwind 搭建写作工作台，经 Codex、Claude 或 Antigravity CLI 运行编辑提示词。

  21. X：Greg Brockman (@gdb)1

    Grok Bot 101 入门课解析：录屏教技能、云端 Linux 虚拟机与多 Bot 分工协作

    作者完整观看了 Grok Bot 官方一小时 101 入门实操课并配中英字幕，总结其核心机制：每个智能体在云端配备独立 Linux 虚拟机，可操作人类能点的任何软件；Teach a Task 机制让用户录一次屏幕操作即可压成可复用的技能。课上演示三个 Bot 分工跑通做幻灯片发邮件的闭环，支持挂 VPN 和 1Password 但密码不进虚拟机，发信转账等敏感动作需人工弹窗确认。

  22. X：Greg Brockman (@gdb)1

    NVIDIA 与费城儿童医院用开源 AI 打造数字心脏辅助儿童手术

    作者转述 NVIDIA 与费城儿童医院的合作，用开源工具将孩子的 CT、核磁和 3D 超声生成精确的数字心脏，建模时间从 4 小时缩短到几秒钟，医生可提前试不同瓣膜和封堵器。作者认为 AI 降低成本加上医院开源，让市场太小而无人投入的先天性心脏病治疗问题得到认真对待。

  24. X：Greg Brockman (@gdb)1

    Yoshua Bengio 称 AI 递归自我改进应被立法禁止

    Yoshua Bengio 在接受 @AC360 采访时表示，AI 递归自我改进即 AI 无需人类输入就能创造新模型，应该被定为非法，"我们甚至不该涉足此事"。他认为所有人即将死亡的概率为 1/5，并将其类比为可能摧毁大气层的实验不应被允许。作者补充称 Bengio 是全领域被引最多的科学家，已停止 AI 能力研究转向 AI 安全与灭绝风险警示。

  27. AI产品阿颖22

    豆包爱学：AI 辅导孩子学习的真实经验

    作者分享使用字节跳动旗下免费 AI 产品豆包爱学辅导孩子学习的真实经验。通过 AI 进行古诗词讲解、英语对话练习、拍照听写及博物馆问答，有效解决了传统家教中耐心不足和解释不清的痛点。使用该产品一年后，孩子学习积极性提高，成绩肉眼可见地提升，证明了 AI 是高效的自主学习工具。

  28. X：Greg Brockman (@gdb)1

    一篇图解长文把 RAG 拆成人人能懂的开卷考试：从切片、双路召回到带来源回答

    作者推荐爱迪生的图解长文，以'650 元酒店能否报销'为例讲解 RAG 本质是 AI 对照公司制度的开卷考试。文章拆解了三个环节的工程细节：文档解析需还原表格结构、切片须保留条款从属并挂版本权限元数据，检索用 BM25 加向量双路召回并经 RRF 融合和 Rerank 重排，最终组装带来源、能在信息缺失时反问的答案。

  31. X：Greg Brockman (@gdb)1

    研究者用 Claude Opus 5 将图片上传漏洞变成 OpenAI 员工账号接管

    3 名安全研究者用 Claude Opus 5 将一个图片上传漏洞升级为 OpenAI 员工账号接管，并让被接管的员工账号通过 Codex 在 OpenAI 内部 monorepo 开了一个 PR，整个攻击的 token 成本不足 3000 美元。作者称 Opus 4.8 难以完成该 exploit，Opus 5 发布后在数小时内破解，并认为最好的防御是把最强的 AI 交给防御者。

  32. X：Greg Brockman (@gdb)1

    Anthropic 发布 AI 研发进度测量：AI 已主导 26% 的模型研发工作

    Anthropic 发布三项追踪 AI 发展的内部测量指标，包括 AI 参与 AI 研发的比例、AI 智能体的监督情况和 compute 分配。博主转引称 AI 主导的研发工作占比从 6 个月前的 0% 升至 26%，Anthropic 内部随时有 30，000 个智能体在做研究与工程工作，约 6% 用于 AI 研发的 compute 投向安全。

  33. X：Greg Brockman (@gdb)1

    Detail 撰文展望自动驾驶代码库，并推出智能体就绪产品

    Detail 发文《迈向自动驾驶代码库》，认为上半年 tokenmaxxing 式大规模投喂智能体收效不佳，下一步应把修 bug、调试生产错误、前端一致性、增长优化等代码库工作交给智能体，工程师专注于提出好想法和关键架构。

  36. X：Greg Brockman (@gdb)1

    Browser Use 创始人实测开源浏览器 Agent：查航班 7 秒、单次成本 0.0039 美元

    Browser Use 创始人 Gregor Zunic 发布实测视频，展示其开源小型浏览器 Agent 接入 Jev 模型后，查真实航班仅用 7 秒、成本 0.0039 美元，视频为 1 倍速。其三层设计包括每步生成新动作空间并直接对 DOM 状态做映射、Jev 只输出结构化决策使输出 Token 免费、仅在需要输入文字时回退到小模型打字，代码已开源在 GitHub。

  37. X：Greg Brockman (@gdb)1

    TypeSafe AI 发布只做高频决策的大模型 Jev，作者实测其分类判断性价比

    TypeSafe AI 推出专注高频决策的大模型 Jev，不做对话和文字生成，只输出判断，速度比传统大模型快20~200倍，成本0.042美元/百万Token且输出Token免费。作者实测预筛任务中Jev准确性第二且更便宜，在并行判断任务上达到最高准确率和最快速度；模型采用RLCD训练方法优化决策校准，可在官网 https://typesafe.ai/ 申请资格，Vercel 已首发接入。