Amazon 投资 Lean Focused Research Organization 以推动形式化验证发展

Amazon 向 Lean Focused Research Organization 提供长期资金支持，以推动 Lean 编程语言在 AI 代理安全和神经符号 AI 领域的应用。Lean 已用于验证 Amazon Aurora 的段修复协议，并支撑 AWS Clean Rooms 和 AWS Neuron 等系统的数学保证。该语言通过社区治理实现工具透明性，便于客户、审计师和监管者独立验证。