Skip to content
Intelligence IAJul 4, 2026Intelligence IA
Article

Mistral AI a publié Leanstral 1.5, un modèle open-source pour la vérification formelle en Lean 4.

Il résout des problèmes de mathématiques complexes et a découvert cinq bogues auparavant inconnus lors de l'analyse de 57 dépôts open-source.

Redaction Data Cube AISource: Mistral AI
01

Brief source

Mistral AI a publié Leanstral 1.5, un modèle open-source pour la vérification formelle en Lean 4. Il résout des problèmes de mathématiques complexes et a découvert cinq bogues auparavant inconnus lors de l'analyse de 57 dépôts open-source.

02