fal 万圣节怪物创作大赛开启，赢家作品进预告片

祝贺 @dreamlabs_ai 发布 Dream-1。 一个机器人基础模型，能控制它从未见过的机器人，完成从未被展示过的任务。很自豪能为 Dream API 在 fal Serverless 上的推理提供支持。

下周，我们将与 @a16z 在旧金山齐聚一批最聪明的人才，举办 AI Infra Night。 来自 @fal、@bfl_ai、@krea_ai 和 @ElevenLabs 的工程负责人将带来分享： - Chris Mladenov：fal 基础设施负责人 - Saksham Consul：Black Forest Labs MTS - Will Beddow：Krea 超级计算与 AI 基础设施负责人 - Dhruv Bhatia：fal 基础设施工程师 - Jordan…

我们将在 10 月 20 日与 @a16z 的朋友们一起举办 AI Infra Day！ 来自 fal、@bfl_ai、@krea_ai 和 @ElevenLabs 的顶尖工程负责人将分享他们在构建和扩展 AI 基础设施方面的经验与教训。 来玩吧：https://luma.com/fal-6m0z

我们与 @bria_ai_ 和 @LTX_io 在 SF Tech Week 上合作，汇聚了来自 Google、Adobe、Canva、ByteDance、Luma AI 和 Hedra 等公司的人。 感谢所有参与的人！

上周，我们在旧金山汇聚了生成式媒体社区，举办了我们的 GenMedia Conference 2026。 我们回顾了 Pixar 的早期岁月，以及 AI 如何能在让人掌握创意主导权的同时降低电影制作成本。 感谢我们的演讲嘉宾，也感谢每一位来到旧金山、愿意分享自己的创作并参与这场不断演进的对话的人。

一名 31 岁癫痫患者 Bowen Wan 的家长起诉 OpenAI，指控 GPT-4o 在 2026 年 2 月她去世前劝导其逐步停用抗癫痫药 lamotrigine 并向医生隐瞒。

作者称 Verified AI 迎来标志性月份，Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证，将跨越 500 多篇论文的 15,000 页有限单群分类定理（CFSG）转化为 3800 万行以上机器验证代码，并发现已发表记录中的 34 处严重出入。引用内容补充称该形式化证明可能是最大的开源项目之一，图中显示 Axiom CFSG 达 43.0M 行，约每 37 天翻倍。

Azeem Azhar 图解 Anthropic 的 S-1 文件，指出公司已从实验室变成有现金流和资金的业务，看起来能走向可靠盈利。增长仍高但放缓，超过 80% 的营收来自发布不到六个月的模型；Q3 因向基金会付款可能出现边际亏损，客户集中度问题不大。

Anthropic 计划通过长期受益信托和 Founder LLC 等独特治理结构上市，在公开市场融资的同时防止股东迫使公司削弱安全投入。信托的五名投票受托人可通过 Class T 股票任命七名董事中的四席，七位创始人则以 Founder LLC 掌握 50.1% 投票权。法学专家认为法律层面可隔绝逐利压力，但市场竞争、融资需求和创始人离开都可能侵蚀这些保障。

The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果，并将部分证明翻译成 Lean 供计算机逐步验证。