Axiom Math: 基于人工智能的代码验证获 2 亿美元融资

Axiom Math 正在使用生成式人工智能和 Lean 语言彻底改变代码验证，模仿数学证明技术。 这种创新方法已成功吸引 2 亿美元的资金，表明投资者对其潜力的强烈信心。 这凸显了人工智能在确保软件可靠性和安全性方面日益增长的重要性。