S-1：截至9月底，Anthropic拥有超过11,900家年消费至少10万美元的客户
Anthropic提交的S-1文件显示，截至9月30日，超过11,900家客户每年向公司支出至少10万美元。其中超过1,900家客户的年度支出达到100万美元以上，约250家客户支出超过1,000万美元。这些数据表明企业客户需求强劲，也显示Anthropic正在扩大其产品生态系统。
AI 新闻中心
AI 新闻中心 过去24小时分析了 156 篇文章，发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。
Anthropic上市申请文件显示其依赖谷歌、亚马逊和微软
Anthropic PBC提交的上市申请文件显示，该公司越来越依赖Alphabet旗下的谷歌、亚马逊和微软向客户销售其人工智能技术。这三家公司既是竞争对手，也是投资者和计算能力的主要供应商。
FLORA：用于扩展机器人数据引擎的开放模型套件
英伟达推出 FLORA，这是一款用于生成机器人基础模型训练标签的开放数据引擎。该系统可生成用于现实部署监控和强化学习后训练的结果奖励与过程奖励标签，还能生成带时间戳的字幕，用于筛选和平衡预训练数据。英伟达表示，FLORA 在 WGO-Bench、RoboReward 和 Robometer 基准测试中达到领先水平，并可借助 512 套 GB300 系统每天处理约 20 万小时的数据。公司称其在内部
高盛帕斯夸里耶洛称科技股暴跌令人工智能交易信心受挫
上周四，对冲基金以两年来最快的速度抛售科技股，华尔街当天遭遇自7月以来最大跌幅。高盛集团的托尼·帕斯夸里耶洛表示，此次抛售让市场对人工智能交易的信心受到严重质疑。
LLM2Cert：利用大语言模型合成证书，并通过 SMT/Lean 验证
李雅普诺夫函数和屏障证书可为动态系统提供稳定性与安全性保证，但在非线性、高维系统中，合成和验证仍然困难。研究团队推出包含 105 个多样化案例的基准 DynaCertBench，以及 LLM2Cert 框架。该框架生成候选证书，并通过 SMT 求解器或 Lean 检查其证明义务。LLM2Cert 在 105 个案例中验证了 81 个（77.1%），比无反馈的一次性提案高出 17.1 个百分点。在
CapCut 将推出 ChatGPT 插件，展示实际操作效果
CapCut 将把视频编辑器接入 ChatGPT。创作者可以描述自己的需求，并通过对话逐步调整编辑内容。
美中人工智能竞争加剧，两个阵营逐渐形成
各国面临的压力日益增大，需要在美国主导的“帕克斯硅谷”倡议与受中国推动的世界人工智能合作组织之间作出选择。美国提供先进芯片、人工智能技术和供应链合作；中国则推广价格更实惠的开源人工智能系统。哈萨克斯坦试图同时与双方合作：该国加入帕克斯硅谷后不久，也成为中国倡议的创始成员。哈萨克斯坦希望借此获得经济和技术收益，并参与制定区域及全球人工智能标准。
31位领导者谈他们是否还想讨论人工智能
31位领导者谈到人工智能是否仍应成为讨论主题。文章指出，相关讨论正从炒作转向实际影响、责任和人的价值，涉及工作、教育与日常生活。
Grace Hopper Celebration 不只是一场会议；它的取消应成为行业警钟
Grace Hopper Celebration 不仅是象征性地表彰女性对科技的贡献，也是科技行业职业发展基础设施的一部分。数千名女性和非二元性别科技从业者原计划本周前往加利福尼亚州阿纳海姆参加活动，但会场如今关闭。科技行业以格蕾丝·霍珀的名字命名了部分性能最强的 AI 芯片，却未能维持这场以她命名的会议。这种反差引发了人们对行业支持女性的质疑。
从25万名公共部门员工身上了解人工智能的应用情况
一项针对25万名公共部门员工的研究，探讨他们需要什么才能有效使用人工智能。接下来的挑战是判断这些学习成果能否转化为更好的政府服务。生成式人工智能正在各行各业普及，部分使用者表示生产力有所提高；但许多政府员工仍不确定这项技术如何适用于自己的工作、应该如何使用，以及自己是否获准使用。
最新 AI Quest：绘制人脑图谱
Google 最新推出的 AI Quests 课程“Polar Peaks”以神经科学为主题，帮助学习者提升 AI 素养。
Anthropic的IPO也是一堂末日论入门课
Anthropic认为，“闭合循环”是实现AI成功的最佳路径，但也可能成为对人类构成“生存性”威胁的根源。文章将公司的IPO构想与其发展日益强大AI系统的长期理念及相关风险联系起来。
Anthropic的S-1仅提及少数VC机构，投资约8亿美元的Spark例外
Anthropic的首次公开募股（IPO）招股书很少提及风险投资机构。例外是早期投资者Spark Capital，该公司在六轮融资中累计投资约8亿美元。文件显示，Spark普通合伙人Yasmin Razavi是Anthropic董事会中唯一的风险投资背景成员。
CVC Marathon负责人Richards谈Anthropic IPO与AI基础设施扩张
CVC Marathon管理合伙人兼负责人布鲁斯·理查兹表示，Anthropic PBC成为上市公司后应能顺利发展。他在彭博《Open Interest》节目中谈到了人工智能需求，以及外界对部分数据中心的反对。
利用 AI 自动处理金融顾问文书工作的 Nevis 完成 7000 万美元 B 轮融资
总部位于纽约的初创公司 Nevis 利用 AI 自动处理金融顾问的文书工作，并在 EQT Ventures 领投的 B 轮融资中筹集 7000 万美元。据报道，该公司估值为 5 亿美元。随着金融咨询需求增长、顾问人数减少，Nevis 希望减轻顾问的行政事务负担。