丘成桐联合八家机构在北京成立数学与 AI 联盟，西方数学界担忧 AI 侵蚀理解力
菲尔兹奖得主丘成桐与一批中国数学家周日在北京成立「丘成桐数学与人工智能实验室联盟」，联合八家机构，计划建立超过 1000 名研究者的网络。丘成桐警告中国在相关领域落后于美国；而包括陶哲轩、Peter Scholze 在内的 25 位菲尔兹奖得主担心 AI 生成的证明会侵蚀数学理解力，部分人呼吁抵制。据《南华早报》报道，该联盟将致力于开发专用模型、机器可验证证明和透明的 AI 推理。
#推理
#推理
今日 0 条The DecoderAI 评分5252 The Decoder精选AI 评分6868 Anthropic 称反蒸馏防御已将 Claude 推理 token 窃取量削减高达 99%
Anthropic 表示其新防御措施已将 Claude 模型被提取的推理 token 量削减 90% 至 99%，以应对攻击者利用数十万虚假账号实施的工业化蒸馏攻击。
推荐理由：原文给出了蒸馏攻击的规模、防御手段与成效数字，读者可据此评估自家模型推理链路面临的风险与应对思路。
Latent SpaceAI 评分4040 TypeSafe/Jev 发布 3 周后 ARR 突破 $100M、估值达 $7.5B
TypeSafe 的 Jev API 发布约三周后 ARR 突破 $100M、估值升至 $7.5B，成为决策模型品类的参考基准。
TechCrunch · AI 非 LLM AI 模型 Jev 开发商 TypeSafe AI 融资 8.7 亿美元，估值达 75 亿美元
TypeSafe AI 完成 8.7 亿美元融资，估值达 75 亿美元，由 Andreessen Horowitz 领投，Sequoia 与 DCVC 参投。其非文本 AI 模型 Jev 于 9 月 15 日发布，基于 Transformer 架构但不输出文本，而是输出概率（即公司所称的“校准决策”）。
The Verge · AI精选AI 评分7777 数学家称需数年才能消化 OpenAI 发布的近 400 项 AI 数学结果
OpenAI 本周突然发布近 400 项 AI 生成的数学结果，散布于 700 多篇手稿中，覆盖数论、组合数学、拓扑等多个领域。OpenAI 称 719 篇手稿中仅约 300 项顶层结果完成 Lean 形式化验证，截至 10 月 8 日已有十余篇手稿修订、三篇因符号错误被撤回。多位数学家认为其中不乏可冲击菲尔兹奖级别的工作，但也担忧验证负担与职业冲击，称理解这批结果可能需要数年。
推荐理由：原文量化了验证缺口，719 篇手稿中仅约 42% 完成 Lean 形式化，读者可据此判断这批数学结果的可信度边界。
36氪AI 评分5151 英伟达拟投资芯片竞争对手 d-Matrix
据三位知情人士透露，英伟达计划投资成立七年的 AI 服务器芯片公司 d-Matrix。这是英伟达自去年 12 月与 Groq 达成 200 亿美元授权协议后首次投资 AI 推理芯片初创企业，旨在推动自身技术与竞品芯片设计商兼容，将其纳入自身主导的硬件生态。
雷峰网AI 评分5151 华为推出 OceanStor M900 单独存储 KV Cache，专用 SSD 规格尚未定型
华为推出 OceanStor M900，英伟达也已推出 CMX Context Memory Storage，这类产品把推理中可复用的 KV Cache 分层存储，命中时减少重复计算以节省算力开销。
The Decoder精选AI 评分6969 OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果，称学术界需跟上
OpenAI 在 GitHub 仓库发布 372 条由内部前沿模型生成的数学结果，称每条结果都针对某个开放问题或其实质性进展。多数证明附有 Lean 形式化，平均每条消耗约三小时 ChatGPT Pro Thinking 算力；此前 Navier-Stokes 解法需要一万个智能体和数百万美元算力，而这次几乎每条结果都来自对单个智能体的单次提示。
推荐理由：原文对比了单次提示与万智能体集群的算力成本差距，并说明 Lean 形式化验证如何缓解人工审稿瓶颈。
TechCrunch · AIAI 评分5555 Google 认为太空数据中心起步需 Starship 发射约 1800 次
Google 首次把自研 TPU 送入太空，其轨道计算卫星原型机今天搭载 SpaceX 火箭从加州升空，由 Planet Labs 制造，将验证 TPU 能否在太空获得千瓦级持续供电、完成散热并运行模型。
The DecoderAI 评分5454 OpenAI 与 Synopsys 达成多年战略合作，共建芯片设计 AI 模型 GPT-Synopsys
OpenAI 与 Synopsys 签署多年战略合作协议，共同打造面向芯片设计的专用 AI 模型 GPT-Synopsys。该模型结合 OpenAI 的 AI 技术与 Synopsys 的 EDA 工具，目标是能够对芯片设计与验证进行推理并直接操作 Synopsys 工具，由工程师委派设计目标并审核批准输出。
NVIDIA BlogAI 评分5454 NVIDIA Vera Rubin NVL72 在 MLPerf Inference v6.1 首秀中取得领先性能
NVIDIA 公布 MLPerf Inference v6.1 结果，Vera Rubin NVL72 首次预览提交即在 DeepSeek-R1 与 Qwen3-VL 上取得领先性能。
OpenAI NewsAI 评分5252 OpenAI 以最新推理模型支持美国国家实验室，强化美国 AI 领导力
OpenAI 宣布其最新推理模型将供美国国家实验室的顶尖科学家使用，以推动科学突破。官方摘要未披露具体模型版本、接入方式或合作期限。