#形式化验证

AI 编程遇到"审查瓶颈"？Mistral 甩出一个开源王炸

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