Agenci Gemini 4 Carbon znaleźli programy kwantowe z dowodami poprawności w Lean, jeden według autorów tańszy o ponad 290 razy
Badacze Google DeepMind i Google Quantum AI opisali zespoły agentów AI, które w Lean projektują programy kwantowe i dołączają do nich dowody poprawności oraz kosztu.