Google used LLM agents to discover new quantum algorithms with 290x speedups over human baselines. 25 researchers from Google dropped an insane paper on discovering formally verified quantum programs with AI. Normally, if an LLM writes a complex algorithm, you have to worry about hallucinations. they can cheat, weaken theorems, or fake their performance numbers. so deepmind built a zero-trust environment. they unleashed 7 different autonomous agent teams to write quantum programs AND simultaneously write the mathematical proofs in the Lean theorem prover to prove they actually work. every submission was checked in a clean sandbox against a frozen specification. the ai couldn't lie.. it either worked and mathematically proved its efficiency, or it failed. to make it even crazier, they gave the agents a shared version-controlled wiki. if one agent team hit a dead end, they posted their notes to the wiki so the other ai teams wouldn't repeat the mistake. the results of this multi-agent collaboration are actually mindblowing: - they cut the computational cost of the arcsin quantum subroutine by over 290x - they reduced the cost of simulating nuclear fusion stopping power, photochemistry, and drugs by 2.49x to 10.9x - on one photochemistry problem, the ai teams iterated and beat each other's records 7 different times, eventually combining techniques from three separate teams to get the final verified circuit fault-tolerant quantum computers are still years away because the algorithms require way too much compute. but these ai agents are drastically shrinking the size of the software needed to run them. we are literally watching autonomous ai agents mathematically optimize the software for quantum computers that don't even fully exist yet.. the future is moving so fast.