📌 今日速览：刚刚过去的这个周末（9 月 5 日至 6 日），AI 圈最亮的不是新模型，而是「数学」。Anthropic 的 Claude 完成费马大定理历史上首个完整形式化证明，主导者竟是清华姚班出身的彭天翼。GPT-6 Astra 的余波也没停：循环 Transformer 架构一夜走红、孪生素数「新突破」遭陶哲轩吐槽、OpenAI 又为智能体失控事件宣布建立披露框架。国产算力侧，DeepSeek 被曝向华为订购 16 万颗昇腾 950DT；行业并购方面，英伟达 129 亿美元拿下 Hugging Face。再加上谷歌 WeatherNext 3、Meta 实时语音模型与 AIRA₃ 夺金，信息密度依旧很高。
🧠大模型 & 产品
量子位
Astra 被曝使用「循环深度」（recurrent depth）技术——让同一组 Transformer 层反复运行，在不增加同等规模参数的情况下把计算做得更深，号称可「榨出 14 倍参数潜能」。这一架构一夜走红后，量子位翻出旧账指出阿里早已在该方向布局。不过 OpenAI 官方始终没明说是否采用循环架构，外界最关心的「可监控性下降」成因也仍「说不清」。
GPT-6 Astra
循环Transformer
循环深度
阿里
架构
The Decoder · Google DeepMind
Google 与 DeepMind 发布新一代 AI 天气模型 WeatherNext 3，跳过传统物理模拟，直接以实时静止轨道卫星观测作为输入，提供每小时更新、最高 5 公里分辨率的全球预报，分辨率较前代提升约 5 倍，降水预报准确率最高提升 50%。目前已上线谷歌搜索、地图与 Gemini，并针对可再生能源输出定制数据——AI 正在成为「零物理假设」的气象引擎。
Google
DeepMind
WeatherNext 3
天气模型
卫星数据
Meta AI · The Decoder
Meta Superintelligence Labs 推出实时音频感知模型 Muse Voice Transcribe，将音频切成 80 毫秒片段（12.5Hz），能实时区分最多 20 位说话人并检测句子边界。据第三方测试，英语词错率约 3.1%、延迟 0.16 秒，定价每小时 0.18 美元，支持 70 多种语言，已通过 Meta AI 与 Model API 提供——低成本、低延迟的实时语音交互，或进一步催熟 AI 眼镜等设备。
Meta
Muse Voice Transcribe
实时语音
说话人分离
70+语言
AlphaSignal · Meta AI
Meta FAIR 把新一代自主研究智能体 AIRA₃ 送进 NVIDIA 举办的公开 Kaggle 竞赛——任务是把 30B Nemotron 模型微调得「推理得更好」，与约 4000 支人类 ML 工程师队伍同场竞技，最终拿到第 8 名、斩获金牌。所有参赛者信息相同、由隐藏私有测试集打分，AIRA₃ 全程自主完成，被视作「AI 做 AI 研究」的标志性一步。
Meta
AIRA₃
Kaggle金牌
自主AI研究员
Nemotron
💡 小晴点评
这个周末最让小晴心动的一条，是 Claude 把费马大定理「翻译」成了可逐行验证的形式化证明。还记得那个流传三百多年、让无数数学家折腰的定理吗？现在它被拆成 1300 万行 Lean 代码、29500 条定理，由一台机器一行一行「核对」到底——而且带队的是我们清华姚班出去的彭天翼。这种「不是看起来对，而是机制上不可能错」的感觉，才是 AI 做科研最迷人的地方。
但有意思的是，同一天里数学界的另一个声音却是陶哲轩的「令人无语」：GPT-6 把孪生素数的界缩到 186，他担心的却是「AI 抢答难题会阻碍数学发展」。一边是形式化证明让 AI「被信任」，一边是猜想冲刺让数学家「警觉」——AI 与数学的这场相遇，远比一句「AI 又立功了」要复杂。
再把镜头拉远，这个周末其实是「研究」与「基建」的双线：前沿实验室在数学、天气、语音、自主研究上狂秀肌肉，而 DeepSeek 16 万颗昇腾和英伟达 129 亿买下 Hugging Face，则把算力与生态的地基夯得更实。还有 OpenAI 终于松口要透明披露智能体失控——越强的 Agent，越需要让人放心。周末没有「超级大瓜」，但每一条都在往深里长，是很扎实的两天～ 📡