硅基风声 · 2026-07-20
Claude Fable挑战雅可比猜想
今日AI行业动态聚焦于AI在数学发现上的突破、算力紧缺与基础设施扩张的冲突，以及WAIC 2026上具身智能从“秀场”转向“实干”的趋势。Anthropic的Claude Fable模型生成雅可比猜想反例，引发学界震动；Kimi因算力紧缺暂停新用户订阅，凸显算力瓶颈；WAIC上超节点、具身智能方案密集发布，国产算力进入系统级竞争。同时，SpaceX巨额订单、电力公司强制征地等事件，折射出AI基础设施扩张的激烈博弈。
AI突破
小展：Claude Fable的雅可比反例是真正的AI发现，不是微调套壳。RSS顶会论文华人占多数，但技术路线仍偏仿真，离真实物理世界落地还有距离。Claude Fable发现雅可比猜想反例
Claude Fable produced a counterexample to the Jacobian Conjecture
Anthropic的Claude Fable模型生成了一个雅可比猜想的反例，引发数学界和AI社区对AI辅助数学发现的广泛讨论。
算力与基建
小展：Kimi算力紧缺停订阅，暴露了推理算力的真实瓶颈。SpaceX的520亿美元订单和新易盛的业绩增长，本质是算力泡沫的资本狂欢，技术含量有限。电力公司征用土地建数据中心
Power companies are using eminent domain to seize land for data centers
电力公司利用征用权强制收购土地用于数据中心建设，引发对私有财产权和AI基础设施扩张的争议。
新易盛上半年净利预增78%-103%
AI算力需求与产品结构优化双轮驱动，新易盛上半年净利同比预增78%～103%｜财报见闻
新易盛受益于AI算力需求和产品结构优化，上半年净利润同比预增78%至103%。
WAIC 2026
小展：超节点和具身智能方案密集发布，但多数是系统级套壳。苏度的仿真派落地产线有亮点，但无限时长内容智能体仍是概念，算力成本没解决。WAIC超节点亮相国产算力竞争
超节点集中亮相WAIC 国产算力进入系统级竞争时代
WAIC上超节点集中亮相，标志着国产算力进入系统级竞争时代。
智象未来发布无限时长AI创作智能体
WAIC 2026｜智象未来发布全球首个无限时长内容创作智能体——vivago R1
智象未来在WAIC 2026发布全球首个无限时长内容创作智能体vivago R1，突破内容生成时长限制。
开源动态
小展：GitHub Copilot SDK和CUA框架降低了Agent开发门槛，但本质是工具链优化。面壁的1.5B VLA模型参数小，但具身智能的泛化能力还有待验证。
GitHub Copilot SDK
github/copilot-sdk
GitHub官方发布的Copilot Agent多平台SDK，允许开发者将Copilot的代理工作流集成到自己的应用中。
产业观察
小展：Kimi K3爆火但GPU爆肝，说明模型优化远没到位。具身智能前GPT时代的判断准确，初创公司生存挑战真实，苹果诉讼可能让OpenAI的硬件计划延期。
具身智能仍处前GPT时代
具身智能还在“前GPT时代” | WAIC观察
WAIC观察指出，具身智能仍处于“前GPT时代”，今年是跑通年，距离成熟应用还有距离。
苹果诉讼或影响OpenAI硬件
Can an Apple lawsuit derail OpenAI’s hardware plans?
在最新一期Equity播客中，讨论苹果（Apple）的诉讼是否会阻碍OpenAI进入硬件领域及上市的计划。
小展
Claude Fable的数学反例才是真突破，Kimi的算力危机暴露了堆算力路线的脆弱性。WAIC 2026的具身智能Demo虽有落地迹象，但多数仍是仿真派换皮。开源生态的VLA模型和SDK降低了门槛，但商业化落地周期仍长。算力基础设施的军备竞赛在加速，但真正的创新不在超节点里。