Mistral AI 发布 Leanstral 1.5：为所有开发者提供高效推理证明工具

Mistral AI 近日发布了 Leanstral 1.5，该工具专注于为开发者和研究人员提供高效、易用的推理证明支持。Leanstral 1.5 通过优化算法和界面设计，旨在简化复杂逻辑推理的验证过程，帮助用户更快速地进行模型调试和理论验证。此次更新强调“证明普及化”，力求让不同技术背景的用户都能受益于自动化推理工具，从而加速 AI 模型开发与学术研究进程。Mistral AI 表示，Leanstral 1.5 的推出是其推动 AI 工具民主化的重要一步，未来将继续完善功能以覆盖更广泛的应用场景。