琳小航AI 日报 公开版

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

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

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

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

GPT 网页版额度已降低。Pro 20（ChatGPT 每月 200 美元的 Pro 订阅）模型对话次数降到约 200 个，Pro 5（低一档的 Pro 订阅）只有 50 个对话。

Astra（GPT-6 的一个版本）自动调度子 Agent 和推理难度的方法。

① 先让 Astra 出 Plan。

② Plan 出来后，指定用 5.6 Luna（GPT-5.6 的一个版本）以极高难度干具体的活。

③ 主控负责控制每个对话任务并合并结果。Astra 会根据返回的任务自动调整推理难度，在高、极高、低、Ultra 之间切换。

Grok Bot 优化用法两个。

① 让它当 CEO，所有事情让它自己创建对应的 Bot 去摆平。

② 创建一个专门优化 Grok Bot 的 Grok Bot，让它自己去搜索相关用法帖子。额度少就列出来人工筛选，额度多直接让它验证真实性后吸收优化。

问：Astra 比 5.6 Sol（GPT-5.6 的另一个版本）强在哪，额度消耗多快？

答：串对话发任务和持续任务的能力都强很多，可以做到主任务控制方向、子任务完成后发回结果、主任务判断再发新任务、合并 git 等操作，审美也提高了，能发现并纠正 5.6 过度工程化的问题。额度上 Pro 20（ChatGPT 每月 200 美元的 Pro 订阅）每周 Astra 大概用 9 到 10 亿 token，比 5.6 Sol 的 16 到 19 亿少很多，有人跑 35 分钟极高难度才用 1% 额度。Plus 用户几个回合就限额。