DeepMind and Google Quantum AI report AI-discovered quantum programs verified in Lean
Agent teams filled in Lean specifications; the abstract reports gains over prior baselines of 290x for quantum arithmetic and 11x, 8x and 2.5x for fusion, photochemistry and drug-metabolism simulations.
Google DeepMindIdeas & essays