Mistral boasts code-proofing agent offers champagne performance on a <i>budget bière</i>
The Register AI
•
Generative AI
Open Source AI
Formal code verification and testing offer a way around AI blind spots Your AI may need AI to oversee its work. Gallic AI biz Mistral is leaning into making AI code generation reliable with Leanstral, a coding agent for proofs constructed using the open source Lean programming language