TLDR Tech / IT
Amazon is investing in the Lean Focused Research Organization
Amazon is providing substantial, long-term financial support to the Lean Focused Research Organization, the largest donation in the FRO's history. Lean is a programming language for mathematical correctness proofs that Amazon says can make verified, trustworthy AI agents practical. The company argues open development outside Amazon strengthens trust for customers, auditors, and regulators.
Read the full story