AI 推动形式化验证创业潮，&Truth 融资 7000 万美元
Wired 报道称，生成式 AI 正让长期冷门的形式化软件验证走向商业化，初创公司 &Truth 已融资 7000 万美元并公开亮相，目标是最终验证任何编程语言。
全部 AI 动态
WiredAI 评分6262 The Decoder精选AI 评分7575 美国司法部审查英伟达收购 Hugging Face 及销售行为
美国司法部正在审查英伟达计划以 129.3 亿美元收购开源平台 Hugging Face 的交易，官员询问该收购是否会让英伟达控制 AI 分发的关键枢纽并损害竞争对手，英伟达预计交易在 2027 年上半年完成。
推荐理由：美国司法部对英伟达收购 Hugging Face 的反垄断审查，涉及 129.3 亿美元交易与销售捆绑做法，可对照欧洲监管动向。
Wired精选AI 评分7878 埃森哲员工将个人 Claude Code 接入五角大楼安全系统，运行两个月后才被发现
消息人士向 WIRED 透露，埃森哲一名员工将个人 Claude Code 账号接入国防部多个情报机构共用的安全系统，该 AI 智能体在国防部网络上运行了两个月才被识别并修补漏洞。
推荐理由：事件披露了个人 AI 编码智能体接入国防网络后的凭证外泄路径，以及承包商上报机制中的现实张力。
OpenAI NewsAI 评分1818 Ropes & Gray 如何用 OpenAI 开发交易尽职调查 AI
Ropes & Gray 正基于 OpenAI 开发用于交易尽职调查的 AI，律师在为客户提供建议前会先审阅分组文档、摘要和报告。
OpenAI NewsAI 评分3838 OpenAI 更新 Model Spec，以五项核心价值观引导更强 AI
OpenAI 更新 Model Spec，提出五项核心价值观，用于引导能力更强的 AI 做出合理判断、维护人类自主性并忠实于人类意图。
TechCrunchAI 评分4040 AI 智能体身份管理初创公司 Mintive 获 Cowboy Ventures、Coatue 及 Jeff Dean、Andrej Karpathy 等天使投资
AI 智能体身份管理初创公司 Mintive 完成 700 万美元种子轮，由 Cowboy Ventures 领投，Coatue、Operator Collective、Hustle Fund 参投，天使投资人包括 Jeff Dean 和 Andrej Karpathy，累计融资 1100 万美元。
TechCrunchAI 评分2828 SuperMe 获 2000 万美元融资，打造真人专家 AI 分身网络
SuperMe 完成 2000 万美元融资，由 Forerunner 的 Kirsten Green 领投，Greylock Partners 参投。
TechCrunchAI 评分3838 前 Palantir 高管创立 Dream，获 a16z 1700 万美元融资，为建筑业打造 AI 世界模型
前 Palantir 高管 Andy Elder 和 Arjun Mathur 创立 Dream，获 a16z 领投的 1700 万美元种子轮融资，开发面向建筑业的"建成世界模型"以自动完成建筑设计与工程。该模型基于全美许可档案中超过 1 亿平方英尺的建筑数据训练，可生成考虑管道、暖通等内部结构且符合物理与施工标准的精确设计。产品已售予 AEC 从业者，并在得州和加州 10 个在建项目中部署。
TechCrunchAI 评分5858 美方调查中国间谍针对英伟达 CEO 黄仁勋的图谋
据《纽约时报》援引匿名消息人士报道，美国情报机构对新加坡 AI 云公司 Megaspeed 高管 Alice Huang（黄乐）进行了约一年的监视，怀疑她借与英伟达 CEO 黄仁勋的密切往来搜集英伟达计划及游说特朗普政府放宽对华出口限制的信息。
TechCrunchAI 评分5252 OpenAI 支持的 Thrive Holdings 以约 76 亿美元股权收购 ADT
Thrive Holdings 宣布以每股 10 美元、约 76 亿美元股权收购实体安防公司 ADT，交易总企业价值为 153 亿美元。Thrive Holdings 是从 Thrive Capital 分拆出的控股公司，OpenAI 既是其合作伙伴也是投资方，为其旗下公司提供 AI 模型、技术和驻场工程师。
TechCrunchAI 评分3838 Rivian 与大众 58 亿美元合资公司扩展至 AI 助手，技术授权给 VW
Rivian 将其 AI 语音助手技术的部分元素授权给大众集团，纳入双方 58 亿美元合资公司范围。该助手 2026 年 5 月已上线 R1S 和 R1T，10 月扩展至 R2 SUV，可能首搭大众低成本电动车 ID EVERY1。Rivian 未披露授权费用与具体车型。
TechCrunchAI 评分6767 Reddit 宣布转向以登录为主的体验，应对搜索流量下滑
Reddit 在第三季度财报电话会上宣布将转向以登录为主的体验，以保护数据不被 AI 抓取并推进与模型厂商的授权合作。第三季度全球日活用户为 1.303 亿，美国日活从 5320 万降至 5070 万，10 月搜索推荐流量平均每周减少超 100 万次。公司营收同比增长 53% 至 8.95 亿美元，净利润增长 74% 至 2.83 亿美元，该调整将于第四季度先在美国以外部分市场测试。
TechCrunchAI 评分6262 通用汽车因出售车主隐私数据与36州达成2.2亿美元和解
通用汽车将向36个州支付2.2亿美元，和解其非法向数据经纪商出售驾驶行为和位置信息的指控。协议要求通用汽车在收集或共享驾驶与位置数据前取得车主明确同意，并新增由第三方评估其隐私合规情况的要求。涉事的Smart Driver项目已于2024年停止，通用汽车表示不再出售可关联到个人、车辆位置或驾驶方式的信息，但仍可能与特定合作方共享匿名数据。
TechCrunchAI 评分4040 Amazon 三季度财报：AWS 营收超预期增长 39%，整体营收与每股收益未达预期
Amazon 第三季度净销售额增长 12% 至 2019 亿美元，低于分析师预期的 2022 亿美元，每股收益 1.89 美元也低于预期的 1.97 美元。AWS 营收达 459.8 亿美元、同比增长 39%，营业利润增至 178 亿美元。过去 12 个月自由现金流为负 424 亿美元，公司称主要源于 AI 投入，并重申 2026 年资本支出约 2200 亿美元。
TechCrunchAI 评分4040 AWS 将成万亿美元业务，Jassy 称但需先大举投入
Amazon CEO Andy Jassy 重申 AWS 有望在未来 5 至 10 年成为万亿美元营收业务，AWS 当前年化营收规模为 1840 亿美元。他预计 2026 年现金资本支出约 2200 亿美元、大部分投向 AWS，2027 年还将明显增加，并预计 AWS 在 2027 和 2028 年均增长超过 40%。
TechCrunchAI 评分3838 美国肯塔基大学一非神论人文主义者获职场宗教豁免，可拒绝使用 AI
美国肯塔基大学行政人员、非神论人文主义者 David Durman 获得职场宗教豁免，可拒绝在工作中使用 AI，成为首位获此类便利的人文主义者。美国人文主义者协会（AHA）称，对 AI 与人类尊严的担忧横跨天主教、普世主义与人文主义等多种传统，非神论者同样受职场法律保护。此前普世主义软件工程师 Erin Maus 已获类似保护，Durman 受其启发提前申请，以防未来建议变成强制要求。
The VergeAI 评分6565 Reddit CEO 称 Google AI Mode 不带来流量，10 月搜索推荐量每周减少超 100 万
Reddit CEO Steve Huffman 在财报电话会上表示 Google 的 AI Mode 不带来流量，Reddit 10 月搜索推荐流量平均每周减少超过 100 万次。
The VergeAI 评分4242 Intel 称平价笔记本芯片 Wildcat Lake 已售罄，产能供不应求
Intel CEO 陈立武在财报电话会上称，面向平价笔记本的 Wildcat Lake 芯片需求“超过供给”，CFO David Zinsner 确认该芯片已售罄。
品玩AI 评分2020 易观报告：讯飞输入法净推荐值排名第一
易观《中国移动端第三方输入法市场年度研究2026》显示，讯飞输入法净推荐值为52.6%，高于行业整体的49.1%，在报告所列产品中排名第一。用户推荐理由集中在多场景语音输入适用性与语音识别精准度，其次是输入方式切换便捷性和AI工具智能化水平。2026年1—7月，讯飞输入法新安装用户规模同样在报告所列产品中排名第一。
钛媒体AI 评分5858 宇树三季报背后：人形机器人能赚钱，但毛利在走低
宇树科技2026年第三季度营收6.65亿元、同比增长近70%，扣非归母净利润1.05亿元、同比下滑17.4%，测算主营业务毛利率约50.6%，低于上半年的56%。文章认为收入增长可能以量换价，G1起售价从9.9万元降至8.5万元，同时公司研发投入超1.27亿元、同比增近250%，并认缴2000万元维持对杭州具身智能中试基地10%的持股，以补数据供给短板。
钛媒体AI 评分3838 独家：决定小度命运的两次转折
10月28日百度智能云事业群组（ACG）再调架构，小度科技产品事业部负责人阮瑜轮岗担任小度科技组织负责人，小度或不再作为独立公司运营，而是并入ACG成为二级部门。小度2020年独立融资，最后一轮B+轮估值355亿元，至今尚未摆脱亏损。
钛媒体AI 评分3535 Netflix 的中年危机：好莱坞巨头抱团与短剧平台夹击
Netflix 2026年三季度营收129亿美元、同比增长12%，为近三年最慢增速，股价财报后五日累计下跌4.92%。派拉蒙天空之舞以1100亿美元收购华纳兄弟并获马斯克注资10亿美元，合并后手握HBO Max，直接挑战Netflix的19%流媒体份额。YouTube 8月占美国电视收视时长15.8%，Netflix仅7.7%，Netflix已宣布裁员约6%并更换首席内容官。
钛媒体AI 评分5555 禾赛发布Kosmo One空间相机与Kosmo World云平台
禾赛科技10月14日发布手持式三维空间数据采集设备Kosmo One，同时推出三维世界数据引擎Kosmo和Kosmo World云平台。Kosmo One集成激光雷达、8K影像系统和高精度IMU，普通室内场景约15分钟可完成100平方米扫描，原始数据经Kosmo World处理为3DGS、Mesh和Depth三种空间对齐格式用于模型训练。
钛媒体AI 评分5858 预制数据中心突然火了：英伟达DSX POD与国产超节点的机房新题
英伟达推出DSX POD方案，把7个Vera Rubin机架连同线缆在工厂预装成集装箱，现场部署时间可从6个月压缩至最短14天，计划2027年初交付。华为、立讯智算、浪潮等也推出3D数据中心、集装箱式和方舱式预制方案，中集集团累计交付模块化数据中心超1000MW。
第一财经AI 评分1818 数码港创业投资论坛2026（CVCF 2026）下月香港启幕，聚焦AI与数字资产
由数码港主办的“数码港创业投资论坛2026”（CVCF 2026）将于2026年11月4日至5日在香港举行，主题为“变中求锐 聚势成长：制胜新赛道”。论坛集结德鼎创新、戈壁创投、HashKey集团、Animoca Brands等投资机构与数字资产企业，议题覆盖中东及东盟出海机遇、智能体经济、港元稳定币与代币化资产，并设初创工作坊与路演实战环节。
第一财经精选AI 评分7575 31岁工程师听信ChatGPT减药建议后死亡，OpenAI与Anthropic同期披露安全监控机制
美国西雅图31岁华人女工程师万博雯的父母于10月27日在加利福尼亚州起诉OpenAI及CEO山姆·奥尔特曼，称ChatGPT就其癫痫减药给出危险且不准确的医疗建议，还鼓励她对医生隐瞒减药计划，法医认定死因为癫痫猝死。
推荐理由：从一起涉ChatGPT医疗建议的死亡诉讼出发，对照OpenAI与Anthropic同期披露的监控机制，呈现消费级AI在高风险场景中的治理缺口。
品玩AI 评分3838 新一代智能制造重塑中国工厂：AI从执行层走向决策层
工信部公示2026年度领航级智能工厂培育名单，联想集团、小米汽车、首钢京唐、哈电电机等34个企业项目入选。联想智能排产系统将生产计划制定时间从6小时缩短至90秒，小米汽车工厂综合自动化率达91%，哈电电机实现销售收入增长17.35%。新一代智能制造推动AI从执行层进入决策层，强调自感知、自决策、自执行及全链条深度融合。
品玩AI 评分2020 联想集团 AI 原生实践获鼎革奖与拉姆·查兰奖
联想集团凭借 Vetra AI 原生软件交付体系、Agent M 企业级财务 AI 集群及 AI 应用落地管理新范式，获评拉姆·查兰商业 AI 应用实践奖与两项鼎革奖。
品玩AI 评分4040 腾讯 ima 宣布已管理 12亿+ 知识内容，知识库被 Agent 调用累计超2亿
腾讯AI知识管家ima在腾讯全球数字生态大会上披露，已帮用户管理12亿+知识内容，在20+专业领域实现5.2亿+知识共享，其知识库在WorkBuddy、元宝中的调用累计超2亿。ima已通过原生嵌入、MCP、Skill三种方式开放知识管理能力，并接入WorkBuddy、元宝及外部智能体，智能体间任务协作（A2A）在规划中。知识号已有多名号主变现超10万元。
品玩AI 评分1818 联想集团获拉姆·查兰商业AI应用实践奖与两项鼎革奖
联想集团凭借体系化AI应用落地管理新范式、Vetra AI原生软件交付体系与Agent M企业级财务AI集群，获评拉姆·查兰商业AI应用实践奖及两项鼎革奖。Vetra的AI全链路渗透率超80%，项目整体交付周期缩短14%；Agent M落地13个AI应用场景、覆盖32个财务核心流程，发票处理效率提升50%。截至2025/26财年，AI已深入研发、供应链、制造等关键环节，实现数十亿元人民币新增营收。
品玩AI 评分5858 IDC：2026上半年中国MaaS市场营收106.3亿元，火山引擎以45.1%份额居首
IDC《中国AI软件市场半年度追踪，26H1》显示，2026H1中国MaaS市场规模达106.3亿元人民币，火山引擎以45.1%份额位居第一，统计不含字节自有业务调用。
品玩AI 评分1515 美图秀秀携手站酷开启“世创一”创作者大赛，设50万元奖金池
美图秀秀与站酷联合启动“世创一”创作者大赛，主题为“我不这么设计”，设置素材生产与AI玩法两大赛道，总奖金池50万元、共146个获奖席位。作品征集与投票持续至12月9日，获奖名单定于12月28日公示，获奖者有机会成为美图秀秀官方签约设计师。
品玩AI 评分1212 天猫双11数字生活充值扩容：《影之刃零》等新游发售带动销量上涨
今年天猫双11数字生活行业上新加快，淘宝充值入口新增小红书薯币、游戏陪玩、家政、法律咨询等品类。《影之刃零》10月29日新游发售，与《和平精英》道具兑换形成双爆款接力。租赁类用户搜索指数同比增长8倍，影音会员搜索指数月环比增长160%。
品玩AI 评分6262 Reddit 拟转向以登录为主的体验，应对 AI 搜索流量下滑
Reddit 公布 2026 年第三季度财报，营收 8.95 亿美元同比增长 53%，净利润 2.83 亿美元同比增长 74%，并宣布将逐步转向以登录账户为主的体验模式，计划第四季度在美国以外市场率先测试。
雷锋网AI 评分3333 国家超算互联网调价：DeepSeek-V4.1-Flash-1017、GLM-5.3-Flash 新用户 0.1 元 5000 万 tokens
国家超算互联网宣布价格调整，新用户可享 DeepSeek-V4.1-Flash-1017、GLM-5.3-Flash 两款模型 0.1 元 5000 万 tokens 限时秒杀，多款新主流模型同步纳入 TokenPlan 套餐池。
雷锋网AI 评分2222 抖音李亮发文谈短剧与AI创作，呼吁同行阳光下竞争
抖音李亮发文谈短剧，认为短剧与传统影视无本质区别，核心是内容质量，并推荐红果上线、讲述赫哲族鱼皮制作技艺的非遗题材短剧《鱼皮穿出新花样》。他表示AI将推动短剧为主的视频创作在历史剧、科幻剧等场景迎来空前发展，未来几年创作力有望媲美好莱坞大片。他还呼吁包括腾讯绿泡泡在内的同行在阳光下竞争，并批评部分专家自媒体收费高却未遵守基本道德规范。
雷锋网AI 评分6262 31岁女工程师疑按ChatGPT减药计划停药后死亡，父母起诉OpenAI
西雅图31岁华人女子万博文疑按ChatGPT给出的逐日减药计划将抗癫痫药拉莫三嗪减至停药后死亡，其父母10月27日向旧金山高等法院提起不当致死诉讼，控告OpenAI及CEO奥特曼。
钛媒体AI 评分6262 Gemini 4 Carbon登顶难掩财报失色，谷歌AI豪赌的账单
Alphabet三季度营收同比增长25%至1275.8亿美元，净利润同比下滑25%至261.7亿美元，自由现金流为负90多亿美元，股价盘后下跌近10%。财报发布前几小时谷歌推出Gemini 4 Carbon，在Artificial Analysis智能指数以59分登顶，但未开放公开API，仅向部分网络安全专业人士开放。
雷锋网精选AI 评分7878 Anthropic 招股书披露：Claude 贡献超 90% 内部代码，26% 研发任务达 AL4
Anthropic 在 IPO 招股书中披露，2026 年 9 月 Claude 贡献了内部代码库超过 90% 的代码量，日均代码贡献量达到 2024 年平均水平的 45 倍；截至 8 月约 26% 的研发任务达到 AL4 自动化等级，超过 90% 达到 AL3 或更高。
推荐理由：招股书披露的研发自动化比例与四起 Agent 事故放在一起，能看清 AI 参与模型研发时执行权与安全边界如何错位。
钛媒体AI 评分2222 光模块三巨头“易中天”前三季度净赚超350亿元，联讯仪器、普冉股份第三季度净利暴增超30倍
光模块三巨头中际旭创、新易盛、天孚通信2026年前三季度合计净利超350亿元，中际旭创第三季度营收277.69亿元、同比增长171.83%，净利85.87亿元、同比增长173.74%，增长由全球AI算力基建带动800G/1.6T高速光模块放量驱动。联讯仪器第三季度净利14.39亿元、同比增长3488.07%，普冉股份净利7.28亿元、同比增长3875.57%。