Anthropic frappe fort ce week-end en annonçant le lancement de ses propres programmes de découverte de médicaments, ciblant les maladies que les grands laboratoires pharmaceutiques jugent trop peu rentables pour y investir. L'entreprise, connue jusqu'ici pour son modèle Claude, met donc son IA au service de pathologies négligées par l'industrie traditionnelle. C'est un virage stratégique notable pour un acteur de l'IA générative qui s'aventure directement sur le terrain de la R&D pharmaceutique.
Du côté des modèles, Mistral AI a dévoilé samedi Leanstral 1.5, un modèle agent de code spécialisé dans la démonstration automatique de théorèmes avec l'assistant de preuve Lean 4. Cette mise à jour de la famille Mistral Small 4 résout 587 des 672 problèmes du benchmark PutnamBench, et ses poids sont publiés sous licence ouverte Apache 2.0. Un signal de plus que la course à l'IA pour le raisonnement mathématique et formel s'intensifie, cette fois avec un acteur français qui joue la carte de l'ouverture.
Enfin, l'extraction de documents PDF vers du JSON structuré vit sa propre effervescence: Datalab, l'équipe derrière Marker et Surya, vient de lancer lift, un modèle de vision de 9 milliards de paramètres bâti sur Qwen 3.5 et capable de remplir automatiquement un schéma JSON à partir d'un PDF. Deux familles d'outils open source se dessinent désormais sur ce segment très pratique, preuve que l'IA générative s'attaque aussi aux tâches ingrates de la donnée d'entreprise. Trois nouvelles qui racontent la même histoire: l'IA sort du laboratoire pur pour infiltrer la santé, les mathématiques et la paperasse, avec l'open source comme fil conducteur.