Le Chonk de Mistral débarque : un trillion de paramètres made in Europe

Pourquoi c'est important

Un modèle d'un trillion de paramètres dont les poids seront publiables, c'est la première fois qu'un laboratoire européen vise le haut de gamme avec une version téléchargeable. Les entreprises soumises à des exigences de souveraineté, dans la finance ou l'industrie, obtiennent une option hébergée sur Mistral Cloud, puis une option auto-hébergée dès la publication des poids. La preuve restera à faire sur des évaluations indépendantes, car pour l'instant les revendications de supériorité sur les modèles fermés viennent de Mistral seule.

Pourquoi c'est important

Trois heures de calcul par résultat, c'est un coût que n'importe quel laboratoire universitaire peut dépenser, ce qui fait changer d'ère la recherche mathématiques par IA. Le choix de Lean est le plus structurant : une preuve vérifiée par machine n'a pas besoin qu'on fasse confiance à OpenAI, seulement au vérificateur. Reste le cas des résultats sans formalisation, qui devront être relus à la main par des mathématiciens, et c'est à ces relectures que la crédibilité du dépôt se jouera.

Pourquoi c'est important

Avec Ferguson à la FTC et Emil Michael à la Défense, la SIF réunit autour d'une même table le régulateur de la consommation et le donneur d'ordres militaire. L'évaluation des risques sera bâtie avec les acteurs de l'IA, donc ceux qui devront s'y soumettre en rédigeront en partie les critères, comme dans la supervision financière. Reste à voir si les premières recommandations tomberont avant l'échéance des 120 jours, ou si la prolongation prévue par le texte sera activée.