Anthropic联手Theorem Claude首证123库RISC-V汇编零崩溃

2026年10月22日,Anthropic与Theorem发布研究,Claude为123个开源库生成约1.8亿行Rocq证明代码,在RISC-V汇编层面对239个入口点证明任意输入不崩溃,同时发现经万亿次模糊测试未触发的漏洞。此前seL4验证耗费20人年,此次标志LLM推动形式化验证走向自动化规模化。报道从评测视角分析模型长程推理与工程守约能力。

AI形式化验证 开源软件安全 Anthropic
1,605

Uber三万员工全面接入ChatGPT Work:先行者八成来自非技术岗的企业AI样本

2026年10月22日,Uber宣布将ChatGPT Work全面推向其超过3万名员工,从此前千人试点扩展为公司级部署。这是迄今最大规模的单一企业生成式AI落地案例之一。值得关注的是,据TechCrunch报道,早期试点中约80%的先行者来自非工程岗位。本文拆解这一部署的技术架构、治理机制与产业影响。

Uber ChatGPT Work OpenAI
788

OpenAI Decisions API正式开放:按输入计费、150毫秒响应,重新定义AI决策成本

OpenAI于2026年10月22日将Decisions API推向全面可用(GA),仅收取输入token费用($0.10/百万token),不计输出费用,响应速度较Responses API提升约10倍。该API运行于GPT-6 Luna,支持文本、图像与JSON的分类判断,单次请求最多400个问题。从DevDay首秀到GA仅用三周,反映OpenAI加速基础设施布局的战略意图。

OpenAI Decisions API GPT-6 Luna
790

Meta Q3资本支出349亿美元超越经营现金流:AI基建投入穿越临界点

Meta公布2026年Q3财报:营收646亿美元同比增长26%,但当季资本支出349亿美元首次超过经营现金流328亿美元,自由现金流转负至约21亿美元。公司同步将全年资本支出指引上调至1350至1450亿美元,并批准发行无投票权C类股,为AI大规模融资布局。这是AI基建投入竞赛中具有指标意义的一个季度。

Meta 人工智能 资本支出
1,505

谷歌DeepMind工程师以辞职抗议军事AI:12亿美元合同背后的治理真空

伦敦DeepMind研究工程师Sofia Liguori本周以"为公司感到羞耻"为由辞职,AI研究员Andreas Kirsch亦于10月初离职,两人均指向谷歌与美国国防部及以色列军方签订的总额逾12亿美元AI合同。此次辞职潮的独特之处不在于反对AI本身,而在于直接质疑谷歌在军事场景下的治理机制是否具备足够约束力。

谷歌DeepMind 军事AI AI伦理
434

Mistral Large 4发布:1.05万亿参数开源巨兽,欧洲AI主权的最强声明

2026年10月6日,Mistral AI发布旗舰模型Mistral Large 4公测预览版,代号"le Chonk"。该模型采用混合专家架构,总参数量1.05万亿,在DeepSWE v1.1编程基准上以61.7%领先DeepSeek-V4-Pro(57%)和Qwen 3.8 Max(51%)。权重承诺在10月底开放下载,但当前仍需通过API访问。这是欧洲AI阵营迄今规模最大、影响最广的开源旗舰

Mistral 开源大模型 MoE架构
949

Anthropic用Claude审计500万行代码:493处攻击面,OpenSSH修掉五分之一预认证代码

Anthropic Frontier Red Team于2026年10月20日发布研究:用Claude分析25个开源项目逾500万行代码,发现493处冗余可达路径。其中OpenSSH中约4500行后量子密码代码在未认证阶段即可被客户端触达,占默认预认证代码的16%。OpenSSH 10.6已完成修复,移除了约五分之一的预认证可达代码。这是AI辅助防御安全从概念验证走向规模化实施的罕见可查证案例。

AI安全 代码审计 Anthropic
504

拒绝英特尔与高通收购后,Tenstorrent以15亿美元融资证明独立路线可行

多伦多AI芯片公司Tenstorrent于2026年10月19日宣布完成15亿美元E轮融资,投后估值62亿美元,较2024年底D轮的26亿美元翻倍以上。此前,英特尔与高通均提出收购要约,均遭拒绝。其Galaxy Blackhole服务器在DeepSeek-R1推理上实现350+ tokens/秒,总拥有成本仅为英伟达GB300的约五分之一。这笔融资是AI算力供应链多元化叙事中迄今最有分量的商业证据

AI芯片 融资 Tenstorrent
562

Voxtral 3发布:Mistral推出50语言实时语音智能体,欧洲自托管路线对阵OpenAI

Mistral于2026年10月21日发布Voxtral 3,推出完整语音智能体SDK,支持50+语言实时转录、35+语言50+方言情感自适应语音合成,智能体定价$0.04–$0.08/分钟,转录层最低$0.0035/分钟起。产品强调欧盟境内托管与企业自建基础设施部署,以数据不离境为核心差异化,直接瞄准GDPR合规压力下的欧洲企业客户。

Mistral 语音智能体 Voxtral
346

纸面亏损807亿美元背后:Anthropic真实烧钱速度与2万亿IPO逻辑

Anthropic 2026年上半年净亏损807亿美元,听上去触目惊心,但其中720亿为可转换票据估值重估带来的非现金会计调整,真实运营亏损约87亿。同期营收163亿美元,同比增长约15倍;Q3营收168亿环比再增45%,调整后口径已转盈利。公司据报计划以2万亿美元估值上市,并已对外披露未来可能再投入7500亿美元购买算力。本文解析天量数字背后的真实财务结构与上市逻辑。

Anthropic IPO 财务分析
560

美国国土安全部封禁 DeepSeek:一道悄然执行三个月的禁令

美国国土安全部于2026年7月24日签署禁令,要求所有联邦民用机构立即清除DeepSeek产品——包括任何基于DeepSeek实现的第三方软件。该禁令直到10月19日才公开发布在《联邦公报》上,意味着已静默执行近三个月。禁令援引2018年联邦采购供应链安全法,延续了对卡巴斯基、华为的相同打击路径,但其将"模型血统"纳入管控范围的做法,标志着美国联邦AI安全审查逻辑的一次实质性升级。

DeepSeek 美国监管 AI安全
453

MiniMax M3.1 Flash揭秘Space Bunny:卧底处理200万亿token,智能体测试中国第一

2026年10月19日,MiniMax正式发布M3.1 Flash,同时披露其前身"Space Bunny"——一个以匿名身份运作、处理超过200万亿token的隐身测试模型。M3.1 Flash主攻智能体任务,在OSWorld V2获61.7分摘得中国模型第一,定价输入0.15美元/百万token、输出0.60美元/百万token,综合使用成本较前代降低70%。模型权重暂未开放,云端接入为当前唯

MiniMax M3.1 Flash 智能体
473