Google Researchers Use AI And Mathematical Proofs To Cut Quantum Computing Requirements
Google researchers report lower resource costs for three quantum science programs using AI agents and computer-checked proofs; the programs still exceed projected early hardware.