Mistral AI 发布开源代码验证平台，实现可靠的AI编码

Mistral AI 通过发布 Leanstral，一个旨在确保 AI 生成代码可靠性的开源平台，正在彻底改变 AI 开发。 这种创新方法解决了 AI 编码中的一个关键瓶颈，为更值得信赖和更有效的 AI 应用铺平了道路。