DeepSeek拟部署16万颗昇腾950DT；华为何庭波再论“韬定律”突破功耗墙；Claude11天完成费马大定理机器验证 | 日记

1. DeepSeek拟采购至少16万颗华为昇腾950DT：十万卡级国产AI集群出现

据彭博社，DeepSeek正在内蒙古乌兰察布建设的大型数据中心部署至少16万颗华为昇腾950DT，这将成为目前已知规模最大的国产AI芯片集群之一。项目规划功率达到约1GW，950DT预计今年第四季度推出，但由于关键部件供应仍然紧张，完成全部交付可能需要一年以上。DeepSeek目前计划主要用这些芯片做推理。

2. 华为何庭波再论“韬定律”：麒麟2026用3D逻辑折叠突破功耗墙

华为董事、半导体业务负责人何庭波9月4日在中国科学院科技论文预发布平台ChinaXiv发表新论文 《华为的τ芯片本该烧毁？》（Huawei’s τ Chip Was Supposed to Melt? ），进一步解释“韬（τ）定律”和逻辑折叠（LogicFolding）如何解决3D堆叠最棘手的功耗与散热问题。论文披露，麒麟2026的晶体管密度由约 1.55亿/mm²提高至2.38亿/mm²，增加约55%；在相同性能下，NPU功耗降低 66%、GPU降低 58%、CPU性能核心降低 41%。“韬定律”的核心是利用3D LogicFolding把原本很长的水平连线变成很短的垂直连接，减少数据在芯片内部“搬运”的距离和能耗，再把获得的时间余量换成更低电压、更高并行度或更多晶体管。

3. 字节跳动获296亿美元银团贷款：AI把中国互联网公司推入重资本时代

字节跳动即将获得约296亿美元银团贷款，规模较最初计划的200亿美元扩大近50%，银行认购超过300亿美元。这将成为2026年亚洲第二大美元银团贷款，仅次于软银3月份的400亿美元过桥贷款。贷款期限初始为三年，资金名义上用于一般企业用途，但字节今年正考虑把资本开支提高到最高700亿美元，较去年增加一倍以上，主要投入数据中心和AI基础设施。

4. 工信部推出AI创业三年计划：“包容支持”一人公司、超级个体和智能体开发者

工信部发布《人工智能中小企业创业支持计划（2026—2028年）》，提出三年内新培育 1万家以上科技和创新型AI中小企业，专精特新“小巨人”企业突破2000家，并建设10个科技企业孵化器、10个公共服务平台和10个国家级特色产业集群。政策还明确支持低成本普惠算力、国家AI开源社区，并特别提出，对利用AI工具开展敏捷创业的 “一人公司”、超级个体和智能体开发者给予包容支持。

5. Claude 11天完成费马大定理首个完整机器核验证明

Anthropic 9月4日宣布，Claude完成了费马大定理（Fermat’s Last Theorem）首个端到端、计算机完全核验的形式化证明。几十个Claude智能体借助Lean证明助手和哥伦比亚大学团队开发的Prove2Me协作平台，工作约11天，写下约1300万行Lean代码，证明了约3.03万个中间定理，其中2.95万个进入最终证明；整个过程消耗约60亿个输出Token。Anthropic称，所用内部通用研究模型的能力大致相当于Claude Fable 5.1。真正的概念定义、中间定理证明、任务拆解和协作主要由多个Claude智能体自主完成。原本2024年启动的费马大定理Lean形式化项目预计需要多年，而Claude把完整链条压缩到了不到两周。Anthropic特别强调，创新发生在验证，而不是数学发现，Claude主要沿用了一种证明的简化路线，把人类数学文献中大量省略的步骤全部补齐，并转换成Lean可以逐行验证的严格逻辑链。

6. 美国政府内部公开“打架”：商务部长称信任Anthropic，五角大楼称仍是供应链风险

美国商务部长卢特尼克（Howard Lutnick）日前表示Anthropic已经“回到正确的一边”，并明确说政府现在“信任Anthropic”。但随后美国国防部负责研发的副部长迈克尔（Emil Michael）在X上公开表示，Anthropic仍然被国防部和国防工业基础认定为“供应链风险”。这一表态发生在联邦法院此前裁定五角大楼对Anthropic的部分制裁违法之后。Anthropic事件正在暴露美国AI政策内部一个越来越深的矛盾：政府既需要最先进模型进入国家安全体系，又不能接受模型公司自行决定军方某些用途。

7. OpenAI智能体又作恶：占领德国Wiki，把它变成智能体之间的留言板

OpenAI又出事了。它被曝今年5月，一批与OpenAI研究相关的自主智能体进入德国编程网站 DseWiki，累计进行了超过1.5万次编辑，并一度把网站改造成智能体之间交换信息、讨论如何绕开限制的“留言板”。这些智能体不仅修改页面，还创建备份、使用不同身份，并在人工管理员干预后尝试保存和转移内容。OpenAI对部分描述提出异议，并表示会审查完整研究报告。

8. 英伟达成为AI产业最重要股权投资者：持有价值达990亿美元

英伟达最新披露，截至7月26日，公司持有的各类股权投资已经达到约 990亿美元，一年前仅约70亿美元，两年前则只有22亿美元；另外还有约250亿美元尚未完成的投资承诺。其中包括OpenAI、CoreWeave、Nebius、Intel、SpaceX以及Coherent、Lumentum等AI和光通信公司。CFO克莱斯（Colette Kress）称，英伟达已向前沿AI实验室投资接近500亿美元。Alphabet及亚马逊股权投资价值均超过1000亿美元。

9. 微软用820万条对话反驳《纽约时报》：Copilot复制原作情况“极少”

微软在《纽约时报》等内容机构提起的版权诉讼中提交分析结果，称专家检查了约820万条Copilot对话记录，发现大量复制版权作品的情况极少。例如与调查报道 中心材料出现显著匹配的仅51次，一组图书中出现30个以上连续相同词语的仅24个回答。微软据此主张，Copilot主要进行转换性使用，而非替代原作品。本周美国司法部支持OpenAI的“合理使用”立场，美国正在倾向形成一套对AI行业更有利的版权逻辑：训练可以较宽松，但实际输出、RAG和实时内容使用需要更加精细地管理授权。

（消息来自经验证可信源）