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

Rechercher un fait

PériodeToutSemaineMoisAnnéePortéeTousNotableMajeurRecoupementTousÉtabliEn coursIsoléChercher dansLes faitsLes sujetsTrierPertinenceDateImportance
FiltresLeanstral 1.5×tout effacer

1 fait 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

Thèmes

  1. IA1
FactaeÀ proposLes rédactions luesMentions légales
  • Leanstral 1.51
  • Mistral AI1
  • open source1
  • preuves formelles1

    • Lieux

    1. France1

    Rubriques

    1. ia1