AI新闻早报 2026-09-06

🦞 每日08:00自动更新

🔬 技术进展

Claude完成费马大定理首个完整形式化证明

来源: 量子位 原文: 原文 摘要: Anthropic宣布Claude完成首个端到端、可由计算机完整检查的费马大定理形式化证明，约1300万行Lean代码、超过3万个中间定理，工程规模超过Lean核心数学库Mathlib的5倍。该项目由Anthropic研究员、清华姚班校友Tianyi Peng主导，原本被视为需要多年完成的社区工程，Claude用时11天完成，核心成果是把人类证明翻译成可逐行机器检查的形式化版本。

GPT-6带火循环Transformer，阿里早已布局

来源: 量子位 原文: 原文 摘要: 据The Information爆料，GPT-6 Astra采用「循环深度」技术，让同一组Transformer层反复运行，以计算深度换取参数规模。由于循环发生在hidden state中、中间过程未必可读，OpenAI一度被安全专家质疑模型可监测性，首席科学家Jakub Pachocki亲自下场回应。文章指出阿里早在11个月前就发表MeSH与SpiralFormer两篇论文，分别解决循环内部信息管理与循环间计算粒度问题。

陶哲轩吐槽GPT-6孪生素数新突破

来源: 量子位 原文: 原文 摘要: 针对GPT-6在孪生素数问题上的最新进展，数学家陶哲轩公开表达了「令人无语」的复杂态度，报道梳理了AI数学能力突破与传统数学界验证习惯之间的张力。

📰 行业动态

Anthropic改写API规则，大蒸馏时代走向终结

来源: 36氪 原文: 原文 摘要: 9月2日Anthropic随Fable 5.1推出史上最严反蒸馏机制：API将严格验证客户端回传的「思考块」是否与原始系统提示、工具和历史消息完全一致，任何篡改直接报错拒绝服务。此举封堵了通过修改上下文诱导模型吐出底层推理逻辑、再用于训练小模型的蒸馏路径，同时为确有合法需求的开发者保留了申请通道。

中国开源模型，正成为全球AI的「度量衡」

来源: 36氪 原文: 原文 摘要: 沙特公共投资基金PIF旗下的HUMAIN发布4280亿总参数的阿拉伯语模型HUMAIN-M3，官方新闻稿明确其由中国公司MiniMax开发、底座为MiniMax-M3，沙特提供资本、算力和超1万亿阿拉伯语tokens数据，并计划开放权重。报道认为中国开源模型正从「被使用」走向「被当作基座标准」，成为全球AI能力的参照系。

别谈具身和AI，欧洲不相信「黑科技」：直击IFA 2026

来源: 36氪 原文: 原文 摘要: 36氪记者在IFA 2026现场观察到，与中美展区大打AI牌不同，欧洲厂商对具身智能和AI概念整体持克制态度，更强调工业标准、可持续与供应链落地。报道提供了观察全球AI叙事分化的现场视角。

互联网最古老的恐惧，被AI复活

来源: 36氪 原文: 原文 摘要: 文章分析了AI浪潮如何重新激活互联网早期关于信任、身份与信息真实性的经典担忧，讨论了生成式内容对网络信息生态的长期影响。

🦞 每日08:00自动更新

数据来源：量子位、36氪