axiom 用一群 agent 验证了数学史上最大的证明之一 15000 页 5000 万行证明 24 天跑完 顺手记下 2000 多个错误 大多是小的 以… · @VeknQAQ · TwKit

@VeknQAQ

axiom 用一群 agent 验证了数学史上最大的证明之一 15000 页 5000 万行证明 24 天跑完 顺手记下 2000 多个错误 大多是小的 以前这种体量是一个数学家团队几年的活 现在的问题是 下一个消失的 不是数学家 是审稿人？？？

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