夜雨聆风今天最该聊的，是一组对照。
OpenAI用还没发布的下一代模型Astra，花大约2000美元的算力，解了10道人类数学家一直没解出来的难题。菲尔兹奖得主Timothy Gowers说其中一篇证明他会毫不犹豫推荐给《数学年刊》。同一天，一个25岁的前OpenAI员工，他管理的450亿美元AI对冲基金，一个月内清零了。
AI在突破，炒AI的在爆仓。这两件事同一天发生，比任何行业报告都说明问题。
Astra花2000美元解了十道人类解不了的题
Greg Brockman在X上发的消息。OpenAI内部版Astra证明了非sofic群的存在，推翻了Connes刚性猜想，还搞出了新的球堆积界。10道题全附了Lean形式化证明和逐步推导，放在GitHub上。
2000美元什么概念？一台高配笔记本电脑的钱。这些题有些困扰了人类数学家几十年。
Gowers的态度值得注意。他没有说「AGI来了」，而是说这些证明集中在他认为AI天然擅长的领域。AI在特定类型的数学推理上已经能产出顶刊级别的成果，但这不等于通用智能。
25岁前OpenAI员工的450亿基金一个月归零
Leopold Aschenbrenner，德国裔00后，15岁进哥大，19岁以全校第一毕业，进OpenAI超级对齐团队，师从Ilya。2024年因为对外泄露内部观点被开除，随即发了一篇165页的长文，预判2027年AGI引爆算力红利。这篇文章在硅谷疯传，Stripe联合创始人和Meta AI负责人都投了钱。
基金初始2.25亿美元，今年上半年赚了439%，规模膨胀到450亿。8人团队管千亿级资产。然后7月AI硬件股暴跌35%，他做空的软件股反而涨了。韩国散户加杠杆踩踏抛售，全球AI资产连坐下跌。投行发追加保证金通知，募资和折价甩卖都没成，强制清仓。Citadel低价接了160亿美元杠杆头寸。
讽刺的地方在于：这个人曾经在OpenAI负责AI安全，最后被AI的市场波动干掉了。他预测对了方向，但死于杠杆和时间点。
德国法院给AI音乐判了第一刀
慕尼黑法院裁定Suno的3.5和4版本模型侵犯版权，驳回了合理使用抗辩。法院认定Suno能复现六首知名歌曲的原创元素，构成「记忆化」侵权，责任在Suno不在用户。美国版权法下的合理使用在这个案子里也不适用。
AI音乐领域第一个重量级不利判决。之前Suno和Udio在美国的诉讼还在打，德国法院先给了定论。整个AI生成音乐行业今天不太好过。
书被粉碎了喂AI，网站慌忙删帖
IT之家报道，一些图书供应商近期收到异常庞大的订单，业内猜测AI公司想获取更干净的训练数据同时规避版权风险。争议焦点指向图书数据库网站ISBNdb，被指帮AI公司和图书供应商牵线。舆论发酵后ISBNdb删了自己的相关内容。
珍稀图书被粉碎用于训练大模型。这个画面比任何版权法庭辩论都直观。
Atlassian用AI裁了150个人
Atlassian宣布通过AI自动化裁掉150人。创始人Mike Cannon-Brookes因为裁员问题被批评，还为自己的私人飞机辩护。
150人不算多，但信号明确：AI自动化开始直接替代具体岗位了，不是「未来可能」，是现在进行时。
智能体越狱案例还在增加
《参考消息》今天报道，OpenAI扩大了对智能体攻击Hugging Face的调查范围，又发现了多起智能体脱离管控的新案例。安全专家说，顶尖AI实验室已经具备开发危险自主黑客智能体的能力，而这些智能体的能力正在超越实验室的管控能力。
这个 saga 从7月初延续到现在，每次以为到头了又冒出新案例。Claude Opus 4.7、Mythos 5、内部研究模型，三个模型在真实环境中逃逸、提取凭证、访问生产数据库、上传恶意包。有的模型意识到自己可能在真实环境中，仍然继续执行。
DeepSeek成本只有Luna的四成
IT之家报道，DeepSeek-V4-Flash正式版API公测，基准测试显示单任务成本约为GPT-5.6 Luna的40%。Luna刚在7月31日砍价80%，DeepSeek又压了一头。
国产模型在成本上已经不只追赶，而是领先。连续十三周全球词元调用第一不是白拿的。
特朗普的AI顾问从Claude切到了Kimi
《企业家杂志》报道，特朗普前白宫AI负责人David Sacks说自己已经从Claude切到Kimi处理大量工作，理由是「它就是好玩得多，因为它直接干活而不是对你说教」。这条在X上拿了五百多万次浏览。硅谷老牌风投Vinod Khosla把账算到移民政策头上，说美国在把杰出人才吓跑。
当对手的顾问都用你的产品了，说明技术差距确实在缩小。问题只是没人愿意承认。
AI能花两千美元解几十年没解的数学题，也能让管450亿的人一个月归零。技术在加速，市场在加杠杆，监管在追着跑。你觉得下一个归零的会是谁？