Google DeepMind Agents Cut CPU Use 3.5 Times on Known 1024-Bit RSA Benchmark