Mistral发布了'Leanstral'，这是Lean 4编程语言的首个开源代码代理。该工具旨在帮助克服在高风险领域（如研究和关键软件）中手动审查人工智能生成代码的瓶颈。它旨在提高速度和安全性。

来源简报

Mistral发布了'Leanstral'，这是Lean 4编程语言的首个开源代码代理。该工具旨在帮助克服在高风险领域（如研究和关键软件）中手动审查人工智能生成代码的瓶颈。它旨在提高速度和安全性。