这次厉害了。约 1000 个 Fable 5.2 智能体，只用 30 小时，就把费马大定理完整形式化成电脑能逐步验的证明。同样配置下，Opus 5.5 跑了 18 小时只完成 26%。同期还补完了一个从 2003 年一直没算完的黑洞问。优质「内容」 | 优质「资源」 | 你不知道的内幕消息🌳
