Amazon이 AI 에이전트의 안전성을 보장하기 위해 Lean 프로그래밍 언어에 투자했어요. Lean은 수학적 증명을 통해 AI 에이전트의 안전한 작동을 보장할 수 있어요. 고위험 결정에 대한 AI 에이전트의 의사결정 능력이 향상됨에 따라 안전성 확보가 중요해지고 있어요. Lean 프로그래밍 언어는 AI 에이전트의 안전성을 수학적으로 증명할 수 있도록 지원해요. Amazon은 이러한 안전성 확보를 위해 Lean에 투자하고 있어요.