0296：AI11天啃下费马大定理，1300万行代码全公开

Claude 基本自主运行 11 天，完成费马大定理首个经计算机检查的形式化证明。本期 11 条：GPT-6 Astra 开放 API 并登陆 Perplexity；传出高盛、摩根士丹利拟牵头 Anthropic 两万亿美元估值 IPO；谷歌 Lyria 3.5 能生成数分钟完整歌曲；Meta AIRA3 夺 Kaggle 金牌；GitHub HydraFusion 让 Copilot CLI 成本降约 67%；微软 Flash 生图速度达 GPT Image 2 两倍；小米开源 TabLDM 登顶回归榜。费马大定理证明约 1300 万行 Lean 代码、3 万多个定理，完整证明已在 GitHub 公开。每天几分钟，听全当天 AI 大事，订阅《幸运喜欢藏在努力里》，明天见。