mercredi 22 juillet 2026V2
FactaeFFactae.The Factual NewsUn fait, plusieurs rédactions
CarteTendancesScoopsFocusTagsRechercherEn directSujetsFilsFrance›Régions

Rechercher un fait

PériodeToutSemaineMoisAnnéePortéeTousNotableMajeurTrierPertinenceDateImportance
FiltresMistral AI×tout effacer

2 faits pour « open source », page 1 sur 1

il y a 16 j1pertinence 25.0

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. Il ouvre la voie à des applications en mathématiques et en vé…

Rapporté parHeiseDE
il y a 21 j1pertinence 25.0

Mistral AI lance Leanstral 1.5, un modèle linguistique optimisé

Il est disponible en open source pour les développeurs et les petites équipes.

FactaeÀ proposLes rédactions luesMentions légales
Rapporté parHacker News (YC)

Thèmes

  1. IA2
  2. Mistral AI2
  3. open source2
  4. Leanstral1
  5. Leanstral 1.51
  6. modèle linguistique1
  7. preuves formelles1

Lieux

  1. France2

Rubriques

  1. ia2