本期内容
今天五件事，跨度从一道数学难题到全球经济结构。计算机科学界的标志性人物 Knuth 被 Claude 解决了他卡了几周的研究问题，让人重新思考 AI 在前沿研究中的位置。与此同时，OpenAI 正式签约国防部，Anthropic 拒绝的那份合同有人接了。Qwen 核心团队在最新版本发布后接连出走，开源生态的一个重要支柱面临真实不确定性。还有一篇康奈尔大学的论文，用经济学推演了 AGI 时代财富集中的速度，读完坐不住。听众能从今天带走的，是几个关于工具使用、风险分散和职业判断的具体思考框架。
本期要点
- Knuth 花数周未能解决的组合数学难题，被 Claude Opus 4.6 给出了他认为"漂亮"的证明，他表示将修正对生成式 AI 的看法
- OpenAI 正式与美国国防部签约，而 Anthropic 此前以"大规模国内监控和完全自主武器系统"条款为由拒绝了同一份合同
- Qwen 首席研究员 Junyang Lin 宣布离职，多名核心成员相继跟进，Qwen 3.5 可能成为这个团队最后一个大版本
- 康奈尔大学论文 "Some Simple Economics of AGI" 指出技术加速与财富集中将同步发生，且速度可能远超工业革命时期的调整周期
- Google 发布 Gemini 3.1 Flash Lite，定价为 Pro 版本八分之一，在部分测评中性能接近持平，正在重塑开发者的 API 选型逻辑
参考资料
Our agreement with the Department of War — https://openai.com/index/our-agreement-with-the-department-of-war/
Statement on the comments from Secretary of War Pete Hegseth — https://www.anthropic.com/news/statement-comments-secretary-war
Statement from Dario Amodei on our discussions with the Department of War — https://www.anthropic.com/news/statement-department-of-war
Something is afoot in the land of Qwen — https://simonwillison.net/
Import AI #447: Some Simple Economics of AGI — https://importai.substack.com/
Gemini 3.1 Flash Lite: Built for intelligence at scale — https://deepmind.google/
---
BearTalk 狗熊有话说播客，始于 2012 年。
订阅地址：https://beartalking.com/page/podcast
