RSA-260 factored with a GPU lattice siever built by Devin

Sources: primary, discussion
Summary: Cognition reports factoring RSA-260 with a GPU lattice siever written by its Devin agent, at about 4,900 GPU-days that ran at no marginal cost on spare or fragmented compute and that the post values at roughly $400k at current market prices. It is the first new RSA Factoring Challenge record since RSA-250 in February 2020, and the post publishes both 130-digit prime factors in full, so the record can be checked by multiplying them. Cognition estimates RSA-1024 at about $30M using commodity GPUs rather than custom hardware, and states RSA-2048 does not appear to be meaningfully affected by this work.
Why it matters: The measured cost of factoring now sits on rentable commodity GPUs, which bears on anything still relying on RSA key sizes below 2048 bits.
Follow-up: Track independent verification of the factorization and of the RSA-1024 cost estimate.