TL;DR:
RSA-260(260 位)被分解,公开纪录从 RSA-250 前进了 10 位。执行者不是某个超算团队,而是一位工程师指挥下的多个 Devin 智能体:智能体负责搭建与调优 GPU 格子筛,人类负责关键决策。约三周、成本明细公开——这份"施工日志"比纪录本身更有信息量。
纪录本身:从 RSA-250 到 RSA-260
RSA 挑战数是检验因式分解算法与工程实现的公共标尺。上一个公开纪录 RSA-250 诞生于 2020 年 2 月,由数论专家团队用 CADO-NFS 花费约 2700 核心小时完成。此次 samyok 团队直接推进到 260 位——在因式分解领域,位数每增加一档,计算难度呈指数抬升,10 位的跨度相当于把整条工程流水线的每个环节都拧紧了一圈。
真正的看点:智能体承担了什么、没承担什么
这篇纪录的珍贵之处在于作者没有把功劳全记给 AI,而是给出了完整的介入清单:多个 Devin 实例并行工作,负责格子筛(lattice sieve)的代码搭建、GPU 优化调参和流水线粘合;人类工程师负责数学路线选择、验证关键步骤和处理智能体走进的死胡同。"约三周"的时间线和逐项成本明细,让外界第一次可以用工程视角而非演示视角评估智能体的科研生产力。
粗略地说:智能体把"一个人的超算工程队"变成了可能,但数学品味仍然是人类的。这大致划定了当前智能体在科研计算中的真实边界——执行规模化、容忍试错的部分可以外包,方向判断不行。
展望
如果智能体化的大规模数值实验成为常态,因式分解纪录的更新频率会明显加快,密码学界需要重新审视"足够大"的密钥位长标准。而对智能体行业,这是一个可复现的样板:把科研工程拆成"可验证的执行单元",比追求一个万能研究员更接近现实。