Rohan Paul@rohanpaul_aiAI 评分7474The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
MiniMax (official)@MiniMax_AIAI 评分4646很高兴 Inferact 成为 M3.1 Flash 的 API 发布合作伙伴！ 感谢你们将 vLLM 专长带入此次合作。期待继续携手为复杂的智能体工作负载构建服务基础设施。
Inferact is an API launch partner for MiniMax M3.1 Flash! 🎉 We're working with @MiniMax_AI on production inference for its latest model, built for multi-step automation, real-codebase engineering and visual reasoning. M3.1 Flash scored 29.6 on Agents’ Last Exam (ALE), alongside 72.5% on AutomationBench-AA and 73.67% on DeepSWE—capabilities that matter when agents need to plan work, use tools and carry tasks through. Our contribution is the serving stack: bringing our vLLM engineering and the Inferact Platform to the collaboration. Thanks to the MiniMax team for the partnership. Explore the model and API integration: https://platform.minimax.io/docs/guides/text-generation
X.PIN@thexpinAI 评分4646GPT-6 和 Fable 5.5 发布后中国模型沉寂超一个月，有观点认为中国无法再靠知识蒸馏缩小与 OpenAI、Anthropic 的差距。
OpenAI 于10月7日在 GitHub 发布 openai/math 仓库，收录其未公开内部模型产出的722份数学手稿，归为372个成果组，覆盖数论、代数几何、偏微分方程等方向，每个结果平均花费约3小时 ChatGPT Pro 级别思考算力。
推荐理由：作者把 OpenAI 的数学成果放进从四色定理到 Lean 的机器证明史里讲，读者能看懂这次争议为何激烈。
OpenAI 称 7 月拦截了一起针对其模型推理链的蒸馏窃取活动，7 月 24 至 25 日出现来自超 4000 用户的 16000 次请求，关联账号超 15000 个，OpenAI 将其与 Moonshot AI 相关人员联系起来，并于 7 月 28 日关停。
推荐理由：原文把 OpenAI 的拦截行动与研究团队的复测放在一起看，读者可以了解同一模型在不同云平台防护不一致的问题。
OpenAI 披露其识别并处置了一起有组织的攻击行动，该行动旨在系统性提取模型受保护的推理内容，最早活动出现在 7 月第一周。
推荐理由：OpenAI 以当事方身份披露对抗性蒸馏攻击的细节、规模和处置方式，读者可借此了解前沿模型推理内容面临的共享安全挑战。
韩国芯片设计服务企业 SEMIFIVE 将为一家美国无晶圆厂 AI 芯片企业开发支持 LPDDR6、PCIe Gen5 的数据中心级推理加速器，这是 LPDDR6 成为 ASIC 片外缓存选择的早期案例之一。该芯片预计 2027H1 流片、2028 年量产出货，订单采用“规格交接”模式，总价约 703 亿韩元，为 SEMIFIVE 史上最大单笔合同，也是其北美首个同类型项目。
Anthropic 宣布其湾区湿生物实验室借助 Claude 发现一个此前未知的酶系统，藏在噬菌体 DNA 中，能执行切割、复制、粘贴 DNA 等操作，性质令人联想到 CRISPR。
OpenAI 称一个内部模型在 8 月 28 日开始训练、约一个月内解出逾百道长期未解数学问题，包括 Navier-Stokes 千禧年难题，另有报道称 Hodge 猜想也在其列。面对数学家批评其削弱概念性理解，OpenAI 在高等研究院设立独立数学与人工智能顾问组，成员包括菲尔兹奖得主 Timothy Gowers，但该组无权顾问 OpenAI 内部研究推进速度。
阿里巴巴在 2026 云栖大会公布大模型一系列进展：Qwen4 已在训练中，未来 Qwen4.5、Qwen5 等版本将扩展至 5-10T 参数，下一代视频生成模型将于 11 月发布。
OpenAI 宣布在普林斯顿高等研究院设立独立的数学与人工智能咨询组，让数学家对公司数学方向研究提供意见，并同时声称其内部模型已解决 100 多个数学开放问题。咨询组可评估新成果意义并协调发布、可公开发表观点，但无权放慢或改变 OpenAI 内部研究进度；九名初始成员中仅 Camillo de Lellis 一人此前签署了 25 位菲尔兹奖得主关于 AI 实验室竞速威胁数学家智力工作的公开信。
OpenAI 因新模型 Astra 需求过高、基础设施承压，宣布暂停 $200/月 Pro 计划的新用户订阅。产品负责人 Thibault Sottiaux 在 X 上表示 Pro 计划对系统压力最大，API 和 Go、Plus 等其他计划仍开放。Astra 于 9 月 3 日发布，主打推理、编码和计算机使用能力，OpenAI 未说明暂停持续多久或需求规模。
纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge使用Codex和Claude在纳维-斯托克斯存在性与光滑性问题上取得初步进展，随后OpenAI公布了该千禧年大奖难题的完整证明，称其由一个尚未发布的新一代模型发现，研究始于9月1日，总计消耗3000亿个输出Token，按Astra价格计算约2250万美元。
OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果，并称其研究进展信息被泄露给 OpenAI，对方随后用大量算力沿其独特路线追赶证明。
推荐理由：原文记录了数学家与 OpenAI 就千年难题证明优先权展开的争议细节，以及双方各自的公开回应，可帮读者了解 AI 参与数学研究引发的信任问题。
中国联通抚顺市分公司 8 月 24 日依托自主研发的反诈大模型预警，联合当地公安机关识别并捣毁一处非法私装的涉诈 VOIP 通信设备，现场抓捕一名涉嫌电信网络诈骗的人员。
Rohan Paul@rohanpaul_aiAI 评分7171据 Bloomberg 报道，DeepSeek 计划在内蒙古吉瓦级数据中心部署 16 万颗华为 950DT 芯片，建成后将是已知最大规模的华为 AI 集群之一。
据彭博社报道，百度 CFO 何海建表示，AI 领域的大规模投入有望很快带来与搜索业务相当的利润和现金回报。目前百度 AI 相关收入占公司总收入一半以上，覆盖云计算、应用等领域；支持 AI 服务的新 GPU 集群投资预计两到三年内收回成本，云业务收入未来几个季度的增速至少快于行业平均水平，资本开支低于市场预期。
分析师郭明錤称，英伟达已重启 AI 推理预填充加速 GPU Rubin CPX 项目，设计大幅调整，预计 2027Q1 开始生产。
字节跳动原计划 8 月推出的豆包大模型 2.2 将推迟面世。延期原因是内部希望通过更充分的预训练和后训练，提升编程、工具调用和 Agent 能力，用更长研发周期换更明显的能力提升。Seed 团队目标是在年底前让 Coding 能力跻身第一梯队，产生类似智谱 GLM-5.2 和 Kimi-K3 的行业冲击力。
截至 2026 年 6 月，我国日均词元调用量已突破 500 万亿，中国大模型在全球竞争中位居第一梯队。当前旗舰模型几乎以月为单位更新，竞争焦点转向智能体落地与生态建设，推理算力需求随之爆发。腾讯混元 3 正式版上线第一周，Token 调用量比上一代混元 2 增长 68 倍。
推荐理由：模型更新周期缩短至4到6周，且智能体任务的多轮调用说明推理算力需求上升，对算力产业链的判断需从训练侧扩展到推理侧。
黄仁勋在财报电话会议上回应 OpenAI 自研推理芯片 Jalapeño，称英伟达提供的是覆盖 AI 生命周期的完整 AI 工厂平台，可在任何云环境使用，与针对单一模型的定制化 ASIC 芯片有本质区别。他 100% 确信英伟达技术对 OpenAI 仍将卓越。此前测试显示，Jalapeño 在 DeepSeek R1 上每瓦 AI 吞吐量是 GB300 的 1.7 倍。
湖北星辰技术有限公司完成近50亿元A轮融资，刷新国内先进封装领域融资纪录，规划月产10万片。其二期中试线预计9月全线通线，一期二期合计投资超70亿元，月产能规划2万片，已建成国内规模最大高密度集成封装中试和小批量量产平台。通过先进封装，星辰技术将推理带宽比传统结构提升1到2个数量级，正协助国内头部企业打磨三维计算芯片。
英伟达发布 2027 财年半年报，上半年营收 1778.37 亿美元，归母净利润 1180.1 亿美元，同比增长 161.1%，GAAP 毛利率 75%。第二财季营收 962.21 亿美元，同比增长 106%，环比增长 18%，归母净利润 596.88 亿美元，同比增长 126%。数据中心业务第二季度收入 890.23 亿美元，同比增长 117%，Vera Rubin 平台已进入全面量产。
推荐理由：数据中心收入同比翻倍叠加 Vera Rubin 平台全面量产，显示 AI 基础设施的资本开支仍在加速，延迟部署的概率下降。
MiniMax 在中期业绩电话会上透露，M3 Pro 参数规模预计提升至约 3T，并将扩大强化学习和长程任务训练以提高泛化能力与智能上限。公司正推进 M3 和 H3 的国产芯片适配，大规模国产算力集群将很快上线并逐步承担真实生产流量。2026 财年上半年营业总收入 1.17 亿美元，同比增长 283.1%，亏损收窄 11%。
燧原科技首次公开发行股票并在科创板上市，拟发行 4303.5173 万股，占发行后总股本 10%，网上网下申购日为 9 月 2 日。公司尚未盈利，此次拟募资 60 亿元，用于第五代和第六代 AI 芯片系列产品的研发及产业化等项目。燧原科技创立于 2018 年 3 月，与摩尔线程、沐曦股份和壁仞科技合称“国产 GPU 四小龙”。
英伟达否认 The Information 关于其计划年底前向中国客户出货定制 AI 芯片 LPU 的报道，称该报道不实，目前在中国市场没有 LPU 销售，产品路线图中也没有针对中国市场的 LPU 产品。The Information 称该芯片是 Groq 3 LPU 的衍生版本，采用 Groq 授权技术开发，旨在与 GPU 协同加速 AI 聊天机器人响应，已有数家中国客户下单。
彭博社报道，AI 芯片初创企业 Fractile 已与 Anthropic 就总价值约 2.5 亿美元（约合 16.87 亿元人民币）的供应合同达成初步协议，计划 2027 年开始交付其 AI ASIC 推理加速器。该芯片采用“模拟内存计算”架构，运行头部模型时可实现 25 倍速度、1/10 成本。Fractile 正寻求以 65 亿美元估值完成新一轮融资。
Marvell 向 SEC 披露已与谷歌扩大定制芯片合作，并向谷歌发行认股权证，允许其以每股 206.58 美元行权价购买至多 5897 万股普通股。合作涵盖 AI 推理加速器、存储控制器、网络接口控制器等与谷歌 TPU 生态关联的定制芯片项目。受此消息影响，Marvell 8 月 19 日盘前交易涨超 10%。
AI 芯片初创企业 Etched 以 210 亿美元估值完成 7 亿美元融资，并向领投方 Jane Street 出货首批 AI 加速器机架。Jane Street 表示测试结果令人满意，计划在数据中心部署自有机架。该公司估值在不到一个月内从 103 亿美元升至 210 亿美元。
Etched 周二宣布以 210 亿美元估值再融资 7 亿美元，由 Jane Street 领投，后者已测试并购买了该公司的 AI 硬件。该公司 7 月融资时估值 103 亿美元，如今一个月内估值上涨近 110 亿美元。Etched 从零设计了两款新组件以加速推理，其系统可运行任何前沿模型。
jason@jxnlcoAI 评分4848We've raised $700M at a $21B valuation from Jane Street, Kleiner Perkins, Sequoia, A16Z, Peter Thiel, BCV, and Blackstone. We're also excited to share that we've shipped our first rack to Jane Street.
安谋控股（Arm）正推进战略转型，从授权芯片设计转向自主制造并销售成品处理器，并积极寻求收购机会。Arm 于 2026 年 3 月推出其 AGI CPU，这是该公司 36 年历史上首次自主生产芯片，首批客户包括 Meta、OpenAI、Cloudflare 和 SAP。Arm 预计，2027 财年和 2028 财年客户对其 AI 芯片的需求将超过 20 亿美元。
Groq 已筹集 3.5 亿美元，继续从 AI 芯片制造商转型为提供 GPU 和 AI 基础设施服务的 neocloud 公司。本轮由 Disruptive 领投，Nvidia 计划参投，估值 35 亿美元，低于去年 9 月的 69 亿美元。公司计划到 2027 年将规模从 54 兆瓦扩展至超 200 兆瓦，目前运营 13 个数据中心，服务超 600 万开发者。
广东省近日推出首个词元经济专项金融产品“Token 贷”，以企业算力 Token 词元产出消耗、算力服务合约价值、应收账款及 Token 佣金结算量等作为核心授信依据。张家港农商银行今年 5 月投放首笔 100 万元“算力贷”，单户基础信用额度最高 1000 万元，配套算力券增信后固定资产贷款最高可达 5000 万元。专家认为，算力更可能成为科技型企业授信的补充维度，而非替代传统信用体系。
理想汽车正探索自研云端推理芯片，采用与智驾芯片相同的数据流架构，项目仍处早期阶段。该芯片可承接部分GPU上的推理任务，包括智驾模型数据处理、测试、仿真及大语言模型请求处理。一种路径是复用车端NPU计算设计，将多个AI计算晶粒封装并配套高带宽内存与高速互联，以分摊研发成本。
法国初创公司 Kog 正押注通过软件优化从企业现有的标准数据中心 GPU（如 AMD MI300X 和 NVIDIA H200）中挖掘更多推理性能，其演示实现了每秒 3,000 token 的推理速度，并承诺“30 倍更快的 LLM 推理”。基于早期反馈，Kog 预计软件工程将是首个应用场景，并计划在 9 月前以 10 倍速度运行首个大模型，以推动 A 轮融资。
