watch·ia
AccueilActusTutosGlossaireCette semaineTendancesSources
/
À chaud
21:21 — Meta lance Muse Code, un agent IA pour automatiser des tâches logicielles complexes·21:21 — Meta lance Muse Code, un agent IA pour automatiser des tâches logicielles complexes·21:21 — Meta lance Muse Code, un agent IA pour automatiser des tâches logicielles complexes·21:21 — Meta lance Muse Code, un agent IA pour automatiser des tâches logicielles complexes·
← Actu

#preuves_formelles

1 article tagué « preuves_formelles »

Mistral publie Leanstral 1.5, un modèle open source optimisé pour les preuves formelles
LLM2 juil.

Mistral publie Leanstral 1.5, un modèle open source optimisé pour les preuves formelles

Découvrez les améliorations de Leanstral 1.5, un modèle de Mistral optimisé pour la génération de preuves formelles.

1 min1 source
→

Autres tags

openai 94anthropic 79google 76robotique 45ia 42agents_ia 35régulation 32meta 31nvidia 30claude 26hugging_face 26mistral 26