Devin agent factors RSA-260, setting a new public record

Cognition 工程师用 Devin 智能体完成 RSA-260 因式分解，刷新公开纪录

Cognition engineer Eric Lu used a fleet of Devin agents to factor the 260-digit RSA-260 number—the largest publicly solved RSA Factoring Challenge problem to date. Devin autonomously built a GPU lattice siever and handled optimization end-to-end, consuming roughly 4,900 GPU-days at a cost of about $400k. The team estimates factoring RSA-1024 would cost around $30M, while RSA-2048 remains roughly a billion times harder and is unaffected. The key takeaway: AI engineering agents dramatically lower the barrier to entry for cryptanalytic work.

Why it matters: Cognition used Devin agents to autonomously factor RSA-260, setting a public record and claiming a 10x cost reduction over prior state of the art. Concrete numbers, clear technical path, and real security-implication resonance — all three HKR axes hit. Docked slightly because ...