Amazon is investing in the Lean Focused Research Organization

As AI agents take on higher-stakes decisions, Lean programming language makes it possible to mathematically prove they will behave safely.