mercredi 22 juillet 2026V2
FactaeFFactae.The Factual NewsDes signaux, du bruit, des faits
CarteTendancesScoopsFocusTagsRechercherEn directSujetsFilsFrance›Régions

Rechercher un fait

PériodeToutSemaineMoisAnnéePortéeTousNotableMajeurChercher dansLes faitsLes sujetsTrierPertinence
il y a 16 j1

Mistral AI libère Leanstral 1.5, un modèle IA pour les preuves formelles

Mistral AI publie Leanstral 1.5 sous licence Apache 2.0. Ce modèle résout 587 des 672 problèmes du concours Putnam et détecte des bugs dans le code.

Rapporté parHeiseDE

Thèmes

  1. IA1
FactaeÀ proposLes rédactions luesMentions légales
Date
Importance
FiltresFrance×tout effacer

1 fait pour « Apache », page 1 sur 1

Leanstral 1.5
1
  • Mistral AI1
  • open source1
  • preuves formelles1

    • Lieux

    1. France1

    Rubriques

    1. ia1