watch·ia
AccueilActusTutosGlossaireCette semaineTendancesSources
/
À chaud
12:06 — L'UE contraint Google à ouvrir Android et Search aux concurrents en IA·00:00 — Hugging Face expose un incident de sécurité lié à un agent IA autonome en juillet 2026·12:06 — L'UE contraint Google à ouvrir Android et Search aux concurrents en IA·00:00 — Hugging Face expose un incident de sécurité lié à un agent IA autonome en juillet 2026·12:06 — L'UE contraint Google à ouvrir Android et Search aux concurrents en IA·00:00 — Hugging Face expose un incident de sécurité lié à un agent IA autonome en juillet 2026·12:06 — L'UE contraint Google à ouvrir Android et Search aux concurrents en IA·00:00 — Hugging Face expose un incident de sécurité lié à un agent IA autonome en juillet 2026·
← Actu

#preuves mathématiques

1 article tagué « preuves mathématiques »

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

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

Découvrez comment Mistral améliore la génération automatique de preuves formelles en mathématiques avec Leanstral 1.5.

1 min1 source
→

Autres tags

openai 57anthropic 47google 38robotique 27ia 26meta 22régulation 20agents_ia 19nvidia 18claude 15mistral 15hugging_face 14