编程工具

Mistral AI 发布首个开源 Lean 4 代码代理 Leanstral，让 AI 既能写代码又能自证正确性。这次我们聊聊形式化验证和 AI 编程的那些事儿。

从v0.86到v0.97，OpenAI的AI编程助手经历了怎样的蜕变？本文带你快速了解这12个版本中最实用的新特性，看看你错过了哪些提升效率的神器。