2026-09-06 AI产业链日报Claude用11天写完1300万行代码，人类数学家看了30年的费马大定理，被AI"形式化"了。① AI开始啃"人类最硬的智力活"Anthropic宣布Claude在11天内完成费马大定理首个端到端计算机可验证证明，生成1300万行Lean代码、调用近3万个中间定理，消耗约60亿Token。同期黎曼猜想突破也获人类数学家Youness Lamzouri验证确认。形式化验证可能成为大模型最早落地的科研场景。 ② "史上最大IPO"悬念再延Anthropic 2万亿美元估值的IPO推迟至10月中旬路演、11月挂牌，核心动因是150亿美元信贷安排。但财务数据爆发：7月年化营收突破650亿美元（较5月增长38%），Q2营收同比约14倍增长。Claude Code年化收入已超25亿美元，AI Coding正成第二增长曲线。 ③ 字节296亿美元贷款=AI基础设施确定性共识银行"抢着借钱"给字节做AI，利率创中国科技公司新低。豆包与抖音并列"粗主干"业务，2026年资本支出或达700亿美元。字节正从"流量公司"转型为"AI基础设施公司"。 ④ 具身智能经历第一次估值重构一级市场加码（小鹏机器人9亿美元、优理奇近亿元）vs二级市场挤水分（宇树股价较首日腰斩）。"ChatGPT时刻"预期2-10年，当前基础模型约等于数字世界GPT-2阶段。 ⑤ 储能历史性拐点+固态电池政策红利储能电芯排产首次超过动力电池，虚拟电厂国标正式实施，系统均价跌破0.5元/Wh。锂电池消费税重启而固态/钠电豁免至2028年底，政策税收红利持续倾斜。 【结尾互动】你觉得AI会先取代数学家还是程序员？评论区聊聊👇