Google DeepMind's AI agents write Lean quantum algorithms, each with a proof it is correct and a proof of its cost, cutting one routine up to 290-fold.
Researchers demonstrate how two qubits simulate the mass observable within a quantized Schwarzschild black hole interior, ...