28 липня 2026Штучний інтелектhttps://www.itpro.com/author/ross-kellyAmazon інвестує в Lean для підвищення безпеки та надійності ШІ-агентівAmazon надає значну фінансову підтримку команді, що стоїть за мовою програмування Lean, з метою посилення безпеки та надійності ШІ-агентів через формальну верифікацію.
