陶哲轩和OpenAI彻底杠上了。
10月6日，OpenAI在GitHub一口气发布722份AI数学手稿，覆盖372个结果族、数百个开放难题；一天后因符号错误撤回3份，剩719份。这些证明篇幅极长，约42%没有经过形式化处理，能完整附推理链的只有10份——换句话说，几乎没人能真正验证它们。
菲尔兹奖得主陶哲轩公开发声：他不反对用AI做数学，但强烈反对把“AI快速攻克著名难题”当成产品秀。他认为，数学的价值在于被理解、讲解、简化、传承，而不只是吐出一个答案。更具争议的是，OpenAI这次用的仍是外界无法接触的专有模型，未达到其咨询的数学顾问小组提出的透明标准。另一条消息则更刺激：数学家王虹刚凭三维挂谷猜想拿下菲尔兹奖，OpenAI据称只用3小时就解出了更难的四维版本。
同一天，OpenAI的钱袋子也传来坏消息。
据金融时报拿到的投资者文件，OpenAI截至9月底年化营收接近500亿美元，比此前报道的700亿少了约200亿。口径差异在于Anthropic把AWS、谷歌云的合作收入计入，OpenAI则剔除了这部分。消息一出，纳指100收跌1.4%，英伟达跌2.9%，甲骨文跌5.5%。
产品侧，OpenAI推出GPT-6.1 Sol的Ultrafast版：速度最高是标准版的8倍，价格也是6倍——输入每百万token 12美元、输出60美元，已在API、Codex和ChatGPT Work上线。
DeepSeek“时强时弱”的谜团也有了答案。字节Seed团队在arXiv发表论文指出，分块KV缓存压缩会带来“相位敏感性”：同一条信息放在文本不同位置，模型可能轻松找到、也可能完全找不到，长上下文检索准确率在不同相位间最多相差40个百分点。这意味着平均跑分可能掩盖了模型的周期性短板。
中国团队这边有高光时刻。星动纪元与清华相关团队的具身智能模型登顶全球第一，在不靠外挂模块和额外数据的情况下超过GPT-6和英伟达相关方案，核心做法是把视频预测与动作学习解耦、分阶段训练。
其他值得一看的：Anthropic推出OSS Scanner，用Claude顶级模型为关键开源项目免费扫漏洞，半年已发现超2.9万个候选漏洞；JetBrains开源编程模型Mellum2.1发布，12B混合专家架构，高负载推理吞吐量接近Qwen3.5-9B的两倍；谷歌则发布办公Agent，甚至支持直接调用Claude。
一边是狂飙的模型和营收，一边是科学家的追问——AI这一年最快的东西，或许恰恰是需要慢下来验证的部分。