Axiom 的一群 agent 花了 24 天，把有限单群分类定理整个做成了机器能验证的证明，15000 页、500 多篇论文，最后写成 3800 多万行代… · @Lonly_66 · TwKit

@Lonly_66

Axiom 的一群 agent 花了 24 天，把有限单群分类定理整个做成了机器能验证的证明，15000 页、500 多篇论文，最后写成 3800 多万行代码 还顺手挑出了已发表记录里 34 处严重出入 同一周 openai 说自己的 ai 证了三个大猜想，然后请外面的专家来查。我越来越觉得，以后 ai 最值钱的本事，可能反倒是帮人查证明

曝光 27 · 评论 1 · 点赞 0 · 书签 0