A Amazon anunciou um aporte financeiro significativo e de longo prazo à Lean Focused Research Organization, configurando-se como a maior doação na história da FRO. Esta iniciativa visa impulsionar o desenvolvimento da linguagem de programação Lean, fundamental para a verificação matemática de correção. A empresa projeta que o avanço do Lean tornará viáveis agentes de IA verificados e, consequentemente, altamente confiáveis. A estratégia da Amazon enfatiza a importância do desenvolvimento aberto, fora de seus domínios, como um pilar essencial para construir a confiança de clientes, auditores e órgãos reguladores no universo da IA.
