Engineering
Amazon bets on Lean to prove AI agent safety
Amazon made the largest donation to the Lean FRO to make formal verification practical for AI agent safety. Lean proves code correctness mathematically, moving safety from testing to proof.