#推理

PSI 尝试用 AI 驱动的科学发现打造商业模式

PSI 实验室的 David Turturean 借助 Anthropic Fable 5.2 模型早期访问权限解决了存在 18 年的量子计算问题 Aaronson-Ambainis 猜想，证明经 Lean 自动形式化验证。

中国移动：今年手机上网流量增长 18%，AI 生成内容带动流量增长 5 倍

在 2026 移动网络大会暨中国移动合作伙伴大会上，中国移动称 AI 驱动移动网络流量快速增长。其内网实测数据显示，今年手机上网流量增长 18%，增速是去年的两倍，其中 AI 生成内容带来流量增长 5 倍；AI 应用流量上下行为 1:6，区别于全网平均的 1:9。

Rohan Paul@rohanpaul_ai· 23:31AI 评分7474

Axiom 宣布完成有限单群分类定理的 Lean 自动形式化，这是数学史上最长的证明，原证明约 15000 页、500 多篇论文、约 100 位作者。约 4000 万行代码由成群的 AI 智能体在 24 天内写出，数学家负责引导。Axiom 称今年初 AxiomProver 写出正确的 10000 行 Lean 证明还需数周，此次进步归因于同时重建模型、harness 和基础设施三层。

MiniMax (official)@MiniMax_AI· 04:43AI 评分4646

很高兴 Inferact 成为 M3.1 Flash 的 API 发布合作伙伴！ 感谢你们将 vLLM 专长带入此次合作。期待继续携手为复杂的智能体工作负载构建服务基础设施。

X.PIN@thexpin· 19:30AI 评分4646

GPT-6 和 Fable 5.5 发布后中国模型沉寂超一个月，有观点认为中国无法再靠知识蒸馏缩小与 OpenAI、Anthropic 的差距。

OpenAI 在 GitHub 发布 openai/math 仓库，722 份数学手稿引发数学界震荡

OpenAI 于10月7日在 GitHub 发布 openai/math 仓库，收录其未公开内部模型产出的722份数学手稿，归为372个成果组，覆盖数论、代数几何、偏微分方程等方向，每个结果平均花费约3小时 ChatGPT Pro 级别思考算力。

OpenAI 称拦截蒸馏窃取攻击，但研究者称同样手法在 Azure 上仍可窃取 GPT-6 Astra 等模型的推理内容

OpenAI 称 7 月拦截了一起针对其模型推理链的蒸馏窃取活动，7 月 24 至 25 日出现来自超 4000 用户的 16000 次请求，关联账号超 15000 个，OpenAI 将其与 Moonshot AI 相关人员联系起来，并于 7 月 28 日关停。

OpenAI 披露并处置一起有组织的模型蒸馏攻击行动

OpenAI 披露其识别并处置了一起有组织的攻击行动，该行动旨在系统性提取模型受保护的推理内容，最早活动出现在 7 月第一周。

SEMIFIVE 接获美国 AI 芯片企业订单，开发支持 LPDDR6 的数据中心推理 ASIC

韩国芯片设计服务企业 SEMIFIVE 将为一家美国无晶圆厂 AI 芯片企业开发支持 LPDDR6、PCIe Gen5 的数据中心级推理加速器，这是 LPDDR6 成为 ASIC 片外缓存选择的早期案例之一。该芯片预计 2027H1 流片、2028 年量产出货，订单采用“规格交接”模式，总价约 703 亿韩元，为 SEMIFIVE 史上最大单笔合同，也是其北美首个同类型项目。

Anthropic 称其生物实验室用 Claude 发现疑似类 CRISPR 的新酶系统

Anthropic 宣布其湾区湿生物实验室借助 Claude 发现一个此前未知的酶系统，藏在噬菌体 DNA 中，能执行切割、复制、粘贴 DNA 等操作，性质令人联想到 CRISPR。

OpenAI 称内部模型训练一个月解出逾百道长期悬而未决的数学难题，并成立数学顾问组

OpenAI 称一个内部模型在 8 月 28 日开始训练、约一个月内解出逾百道长期未解数学问题，包括 Navier-Stokes 千禧年难题，另有报道称 Hodge 猜想也在其列。面对数学家批评其削弱概念性理解，OpenAI 在高等研究院设立独立数学与人工智能顾问组，成员包括菲尔兹奖得主 Timothy Gowers，但该组无权顾问 OpenAI 内部研究推进速度。

阿里公布大模型进展：Qwen4 训练中，后继模型将扩展至 5-10T 参数

阿里巴巴在 2026 云栖大会公布大模型一系列进展：Qwen4 已在训练中，未来 Qwen4.5、Qwen5 等版本将扩展至 5-10T 参数，下一代视频生成模型将于 11 月发布。

OpenAI 成立数学与人工智能咨询组，称内部模型已解决超 100 个开放问题

OpenAI 宣布在普林斯顿高等研究院设立独立的数学与人工智能咨询组，让数学家对公司数学方向研究提供意见，并同时声称其内部模型已解决 100 多个数学开放问题。咨询组可评估新成果意义并协调发布、可公开发表观点，但无权放慢或改变 OpenAI 内部研究进度；九名初始成员中仅 Camillo de Lellis 一人此前签署了 25 位菲尔兹奖得主关于 AI 实验室竞速威胁数学家智力工作的公开信。

OpenAI 因 Astra 需求过高暂停 $200/月 Pro 订阅

OpenAI 因新模型 Astra 需求过高、基础设施承压，宣布暂停 $200/月 Pro 计划的新用户订阅。产品负责人 Thibault Sottiaux 在 X 上表示 Pro 计划对系统压力最大，API 和 Go、Plus 等其他计划仍开放。Astra 于 9 月 3 日发布，主打推理、编码和计算机使用能力，OpenAI 未说明暂停持续多久或需求规模。

Rohan Paul@rohanpaul_ai· 03:40AI 评分5858

OpenAI 表示，在完成纳维-斯托克斯方程之后，又在一个未具名的千禧年大奖难题上取得重大进展，正在决定如何分享这些结果。Clay 研究所设了 7 个千禧年难题，庞加莱猜想和纳维-斯托克斯已解决，剩余候选包括 Hodge 猜想、Birch and Swinnerton-Dyer 猜想、黎曼假设、P versus NP 以及 Yang-Mills 和质量间隙。

纽约大学教授质疑OpenAI借助其研究抢先发布纳维-斯托克斯问题证明

纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge使用Codex和Claude在纳维-斯托克斯存在性与光滑性问题上取得初步进展，随后OpenAI公布了该千禧年大奖难题的完整证明，称其由一个尚未发布的新一代模型发现，研究始于9月1日，总计消耗3000亿个输出Token，按Astra价格计算约2250万美元。

OpenAI 宣布用约 10000 个 AI 智能体 88 小时解决纳维-斯托克斯问题，陶哲轩点赞并表担忧

OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。

NYU 数学家指控 OpenAI 在千禧年难题竞赛中不正当竞争，Bubeck 否认

NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果，并称其研究进展信息被泄露给 OpenAI，对方随后用大量算力沿其独特路线追赶证明。

中国联通反诈大模型预警并协助捣毁涉诈 VOIP 黑盒设备

中国联通抚顺市分公司 8 月 24 日依托自主研发的反诈大模型预警，联合当地公安机关识别并捣毁一处非法私装的涉诈 VOIP 通信设备，现场抓捕一名涉嫌电信网络诈骗的人员。

AI at Meta@AIatMeta· 00:36AI 评分5858

Meta 官方宣布，其自主 AI 研究系统 AIRA₃ 于 6 月参加 NVIDIA 主办的 Kaggle 竞赛，任务是对 30B Nemotron 模型进行微调以提升推理能力，所有参赛者使用相同信息并在私有测试集上外部评分。AIRA₃ 在约 4000 支队伍中排名第 8 获得金牌，超越了拥有同样前沿工具的人类参赛者。Meta 认为这表明 AIRA₃ 可以在类似人类专家的水平上提升模型的指定能力。

Rohan Paul@rohanpaul_ai· 00:10AI 评分7171

据 Bloomberg 报道，DeepSeek 计划在内蒙古吉瓦级数据中心部署 16 万颗华为 950DT 芯片，建成后将是已知最大规模的华为 AI 集群之一。

百度 CFO 何海建：AI 业务有望很快带来与搜索业务相当的利润和现金回报

据彭博社报道，百度 CFO 何海建表示，AI 领域的大规模投入有望很快带来与搜索业务相当的利润和现金回报。目前百度 AI 相关收入占公司总收入一半以上，覆盖云计算、应用等领域；支持 AI 服务的新 GPU 集群投资预计两到三年内收回成本，云业务收入未来几个季度的增速至少快于行业平均水平，资本开支低于市场预期。

消息称英伟达重启推理预填充芯片 Rubin CPX 项目，设计大幅调整

分析师郭明錤称，英伟达已重启 AI 推理预填充加速 GPU Rubin CPX 项目，设计大幅调整，预计 2027Q1 开始生产。

消息称字节跳动豆包大模型 2.2 将推迟发布，原计划 8 月推出

字节跳动原计划 8 月推出的豆包大模型 2.2 将推迟面世。延期原因是内部希望通过更充分的预训练和后训练，提升编程、工具调用和 Agent 能力，用更长研发周期换更明显的能力提升。Seed 团队目标是在年底前让 Coding 能力跻身第一梯队，产生类似智谱 GLM-5.2 和 Kimi-K3 的行业冲击力。

我国日均词元调用量突破 500 万亿，中国大模型稳居全球第一梯队

截至 2026 年 6 月，我国日均词元调用量已突破 500 万亿，中国大模型在全球竞争中位居第一梯队。当前旗舰模型几乎以月为单位更新，竞争焦点转向智能体落地与生态建设，推理算力需求随之爆发。腾讯混元 3 正式版上线第一周，Token 调用量比上一代混元 2 增长 68 倍。

黄仁勋回应 OpenAI 首款自研 AI 芯片挑战：英伟达提供“截然不同”服务

黄仁勋在财报电话会议上回应 OpenAI 自研推理芯片 Jalapeño，称英伟达提供的是覆盖 AI 生命周期的完整 AI 工厂平台，可在任何云环境使用，与针对单一模型的定制化 ASIC 芯片有本质区别。他 100% 确信英伟达技术对 OpenAI 仍将卓越。此前测试显示，Jalapeño 在 DeepSeek R1 上每瓦 AI 吞吐量是 GB300 的 1.7 倍。

星辰技术二期中试线9月通线，主攻3D先进封装，华为韬定律加速落地

湖北星辰技术有限公司完成近50亿元A轮融资，刷新国内先进封装领域融资纪录，规划月产10万片。其二期中试线预计9月全线通线，一期二期合计投资超70亿元，月产能规划2万片，已建成国内规模最大高密度集成封装中试和小批量量产平台。通过先进封装，星辰技术将推理带宽比传统结构提升1到2个数量级，正协助国内头部企业打磨三维计算芯片。

英伟达 2027 财年半年报归母净利润 1180.1 亿美元，同比增长 161.1%

英伟达发布 2027 财年半年报，上半年营收 1778.37 亿美元，归母净利润 1180.1 亿美元，同比增长 161.1%，GAAP 毛利率 75%。第二财季营收 962.21 亿美元，同比增长 106%，环比增长 18%，归母净利润 596.88 亿美元，同比增长 126%。数据中心业务第二季度收入 890.23 亿美元，同比增长 117%，Vera Rubin 平台已进入全面量产。

MiniMax：M3 Pro 参数规模预计提升至约 3T，大规模国产算力集群将很快上线

MiniMax 在中期业绩电话会上透露，M3 Pro 参数规模预计提升至约 3T，并将扩大强化学习和长程任务训练以提高泛化能力与智能上限。公司正推进 M3 和 H3 的国产芯片适配，大规模国产算力集群将很快上线并逐步承担真实生产流量。2026 财年上半年营业总收入 1.17 亿美元，同比增长 283.1%，亏损收窄 11%。

Rohan Paul@rohanpaul_ai· 03:18AI 评分4949

NVIDIA 在获得 Groq 非独家授权 8 个月后，首次将 Groq 技术整合进机架级产品，Groq 机架将于今年上线。NVIDIA 将智能体 AI 工作负载拆分：Rubin GPU 负责重计算，Groq 3 LPX 处理延迟敏感的 token 生成，Vera CPU 运行代码与数据处理。相比 Cerebras，Groq 3 LPX 声称带来 4 倍响应速度提升，对长任务影响尤为显著。

燧原科技 9 月 2 日科创板申购，拟募资 60 亿元研发第五代和第六代 AI 芯片

燧原科技首次公开发行股票并在科创板上市，拟发行 4303.5173 万股，占发行后总股本 10%，网上网下申购日为 9 月 2 日。公司尚未盈利，此次拟募资 60 亿元，用于第五代和第六代 AI 芯片系列产品的研发及产业化等项目。燧原科技创立于 2018 年 3 月，与摩尔线程、沐曦股份和壁仞科技合称“国产 GPU 四小龙”。

英伟达否认年底前推出中国特供 AI 芯片：路线图中无此产品

英伟达否认 The Information 关于其计划年底前向中国客户出货定制 AI 芯片 LPU 的报道，称该报道不实，目前在中国市场没有 LPU 销售，产品路线图中也没有针对中国市场的 LPU 产品。The Information 称该芯片是 Groq 3 LPU 的衍生版本，采用 Groq 授权技术开发，旨在与 GPU 协同加速 AI 聊天机器人响应，已有数家中国客户下单。

消息称 Anthropic 与 AI 芯片初创 Fractile 达成约 2.5 亿美元初步供应合同

彭博社报道，AI 芯片初创企业 Fractile 已与 Anthropic 就总价值约 2.5 亿美元（约合 16.87 亿元人民币）的供应合同达成初步协议，计划 2027 年开始交付其 AI ASIC 推理加速器。该芯片采用“模拟内存计算”架构，运行头部模型时可实现 25 倍速度、1/10 成本。Fractile 正寻求以 65 亿美元估值完成新一轮融资。

Marvell 与谷歌扩大定制芯片合作并授予大额认股权证，盘前涨超 10%

Marvell 向 SEC 披露已与谷歌扩大定制芯片合作，并向谷歌发行认股权证，允许其以每股 206.58 美元行权价购买至多 5897 万股普通股。合作涵盖 AI 推理加速器、存储控制器、网络接口控制器等与谷歌 TPU 生态关联的定制芯片项目。受此消息影响，Marvell 8 月 19 日盘前交易涨超 10%。

AI 芯片初创企业 Etched 估值飙升至 210 亿美元，首批机架出货

AI 芯片初创企业 Etched 以 210 亿美元估值完成 7 亿美元融资，并向领投方 Jane Street 出货首批 AI 加速器机架。Jane Street 表示测试结果令人满意，计划在数据中心部署自有机架。该公司估值在不到一个月内从 103 亿美元升至 210 亿美元。

Etched 估值一个月翻倍至 210 亿美元

Etched 周二宣布以 210 亿美元估值再融资 7 亿美元，由 Jane Street 领投，后者已测试并购买了该公司的 AI 硬件。该公司 7 月融资时估值 103 亿美元，如今一个月内估值上涨近 110 亿美元。Etched 从零设计了两款新组件以加速推理，其系统可运行任何前沿模型。

jason@jxnlco· 00:54AI 评分4848

太棒了，马上给我来14个～ [引用 @Etched]：我们已从Jane Street、Kleiner Perkins、Sequoia、A16Z、Peter Thiel、BCV和Blackstone融资7亿美元，估值210亿美元。 我们也很高兴地宣布，已将第一台机架交付给Jane Street。

安谋控股 Arm 推进战略转型：从芯片授权转向交付成品，成立 36 年首次自研芯片

安谋控股（Arm）正推进战略转型，从授权芯片设计转向自主制造并销售成品处理器，并积极寻求收购机会。Arm 于 2026 年 3 月推出其 AGI CPU，这是该公司 36 年历史上首次自主生产芯片，首批客户包括 Meta、OpenAI、Cloudflare 和 SAP。Arm 预计，2027 财年和 2028 财年客户对其 AI 芯片的需求将超过 20 亿美元。

Groq 融资 3.5 亿美元，加速从 AI 芯片转向 neocloud

Groq 已筹集 3.5 亿美元，继续从 AI 芯片制造商转型为提供 GPU 和 AI 基础设施服务的 neocloud 公司。本轮由 Disruptive 领投，Nvidia 计划参投，估值 35 亿美元，低于去年 9 月的 69 亿美元。公司计划到 2027 年将规模从 54 兆瓦扩展至超 200 兆瓦，目前运营 13 个数据中心，服务超 600 万开发者。

多家银行竞推“算力贷”：以企业 Token 词元产出消耗数据作为授信依据

广东省近日推出首个词元经济专项金融产品“Token 贷”，以企业算力 Token 词元产出消耗、算力服务合约价值、应收账款及 Token 佣金结算量等作为核心授信依据。张家港农商银行今年 5 月投放首笔 100 万元“算力贷”，单户基础信用额度最高 1000 万元，配套算力券增信后固定资产贷款最高可达 5000 万元。专家认为，算力更可能成为科技型企业授信的补充维度，而非替代传统信用体系。