一段话产出三台设备：Claude Fable 5.2 演示里的硬件和数学证明

Jerry Liu 在 X 上发了一段演示：给 Claude Fable 5.2 一段话，它选元件、规划电路板走线、设计外壳，最后产出三台能工作的电子设备。Anthropic 的说法是，这轮从零件选择到外壳都由模型完成；同一波演示里，1000 个 Fable 代理在 30 小时内形式化了费马大定理，Opus 5.5 的对照数字是 18 小时完成 26%。

形式化数学对普通读者可以理解为：把证明写成机器能逐步检查的形式，光有自然语言论文不够。费马大定理的形式化工作量很大，30 小时和 1000 个代理这两个数字放在一起，说明任务被拆得很细，也说明验证环节会更重要。

这条消息真正值得看的是演示背后的端到端链条，“一段话”只是包装。硬件设计从零件选择到能工作的样机，中间有布线、结构，还要过测试；任何一环掉链子都出不来三台设备。形式化数学又是另一条硬路径，规模和时间数字比单点 demo 更能说明问题。两件事放在同一条推文里，传播效果拉满，但也把验证问题摆到台面上：设备测试数据、形式化产物、任务口径都还没公开，先别急着把演示当成生产力结论。

来源：Jerry Liu 的 X 推文（https://x.com/tfmlab/status/2119919979898302657）。