琳小航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% 额度，不要卡着最后几天容易被策略牵着走。卡有效期一个月。