琳小航AI 日报 公开版

Anthropic IPO 推迟至 10 月中旬，目标估值 2 万亿美元。据路透社报道，Anthropic 预计最早 10 月中旬启动路演，计划在 11 月美国中期选举前完成上市，招股书公开时间推迟至 9 月下旬。部分投资者给出高达 2 万亿美元的估值预期，若达成将超越 SpaceX 约 1.77 万亿美元的上市估值纪录。年化营收已超 650 亿美元。

Anthropic 发布费马大定理首个机器验证的 Lean 形式化证明。Claude 在 11 天内大体自主完成形式化，写出 1300 万行 Lean 代码并证明 30300 个定理（最终使用其中 29500 个），规模超过 Mathlib 5 倍以上。

奥尔特曼致歉 GPT-6 Astra 发布混乱。因企业安全客户先于 Pro 订阅者获得访问权限引发高价 Pro 用户不满，奥尔特曼在 X 平台致歉，并提出补偿：从 9 月 4 日起付费用户每缺少一天 Astra 访问即获得一次额度重置。现已面向所有 Plus、Pro、Enterprise、Business 用户推出。

重置卡分批发送，9 月 4 日早上 10 点左右陆续到账。有人发现之前的重置卡加载不出来，过一两天会恢复，或者刷新客户端可能修复。使用建议：每周第一天先用掉 50% 额度，不要卡着最后几天容易被策略牵着走。卡有效期一个月。

开通 Pro 20 订阅但无使用记录的账号不发重置卡，只开会员不用不送。早上新开的号到下午也会收到卡，按订阅时间分批。

Codex Dock 图标显示额度开源项目：多人在群里实现了用 macOS Dock 图标显示 Codex 剩余额度的小工具，有数字版、线框版和圆环进度版。项目地址 https://github.com/Gxz-NGU/codex-dock-quota 和 https://github.com/Katao123/codex-dock-quota-badge，让 Codex 按 README 执行即可。

个人 All-in-One 助理系统架构：把战略、战术、调研、沟通、数据、财务、人力、投资、健康等全部打通到一个助理系统，核心是上下文。不把大知识库放进助理系统，而是做成 MCP 或 CLI 按需调用，否则 token 消耗太大。知识库可以放到火山引擎用 Claude 调用，类似 AI 助手的架构。用 Markdown 格式沉淀，不用 RAG。有人日消耗 token 预计下周能到 20 亿/天。

问：Codex Pro 20 四小时搞完一周的量正常吗？

答：Pro 20 跑长程任务消耗很快，半小时跑 20% 周额度的情况确实存在，尤其 Fable 5.1 跑一个 session 两天还在继续的长任务。

问：并行几个项目合适？

答：看个人注意力。有人只能并行 2 个，再多判断速度跟不上 AI 生成速度。有人之前并行七八个以为效率提升，后来发现项目们认识自己但自己不认识项目们，改成只跟 CEO 聊或用 Grok bot 创建 CEO 分配任务。也有人用助理 agent 分配任务和验收，配合工作台面板可以做很多个。