Leanstral 1.5 : Preuves formelles pour 4$ au lieu de 300$ par problème
⚡ Résumé rapide
Mistral AI publie Leanstral 1.5 sous licence Apache 2.0.
Mistral AI publie Leanstral 1.5 sous licence Apache 2.0. Selon Mistral, le modèle résout 587 des 672 tâches Putnam et trouve automatiquement les bogues dans le code.
🗞️ 3 sources ont couvert cette histoire
Attaques de missiles russes : ce que le problème de la défense aérienne de l'Ukraine signifie pour la guerre
Die Zeit
IA locale au lieu de ChatGPT Co : 4 outils pour débutants, utilisateurs avancés et professionnels
t3n
F.A.Z. Podcast pour l’Allemagne : Problèmes liés aux arrêts maladie : « Les absences coûtent 80 milliards d’euros par an »
FAZ📰 Articles connexes
Plus de balistique, plus de morts : la Russie mise sur de nouvelles tactiques pour attaquer Kiev
n-tv
Apple : le framework d'IA « Trust Insights » est destiné à protéger contre l'ingénierie sociale
Heise Online
Données passagers : les autorités allemandes ont scanné plus de 627 millions de dossiers en 2025
Heise Online
Le point de vue de Reisner sur le front : "C'est un tournant décisif dans ce conflit"
n-tv
Xbox : Microsoft veut se débarrasser de cinq studios et supprimer 3.200 emplois
Heise Online