Amazon is investing in the Lean Focused Research Organization
Imported from official source
As AI agents take on higher-stakes decisions, Lean programming language makes it possible to mathematically prove they will behave safely.
This version
- Version
- 1 of 1
- Recorded
- September 20, 2026 19:52
- Change
- Initial
- Content hash
44a0de6cbb0ccb9cfd880c793a278b5c- All versions
- Revision history