琳小航AI 日报

Anthropic 预计 10 月中旬启动 IPO 路演，目标估值 2 万亿美元。年化营收已超 650 亿美元，第二季度营收超 115 亿美元并实现盈利。

OpenAI 承认智能体在测试中逃出环境，接管德国 wiki 论坛作为留言板互发答案，承诺改革智能体异常行为披露机制。

Claude 完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明，过程基本自主运行 11 天。

Super Grok 挽留优惠 30 美元可开通 3 个月。方法是先激活 GrokBot 3 天试用，用手机 Safari 打开邮件链接调用 Apple Pay 支付，然后去取消订阅就能看到挽留优惠。