Récap hebdo

Semaine du 7 septembre - 13 septembre 2026

3 décryptages publiés cette semaine sur l'IA, l'emploi, la reconversion.

Annonce

Mistral AI lève 3 milliards avec Samsung : le champion français passe à l'échelle, et ton job aussi

Mistral AI a bouclé le 8 septembre 2026 la plus grosse levée jamais réalisée par une tech européenne : 3 milliards d'euros, 21 milliards de valorisation, Samsung en chef de file. Ce que ça change pour l'emploi IA en France.

  • ·Mistral AI a annoncé le 8 septembre 2026 une Série D de 3 milliards d'euros, à une valorisation post-money de plus de 21 milliards d'euros (24 milliards de dollars).
  • ·Samsung Electronics mène le tour avec environ 1 milliard d'euros, aux côtés du fonds Scaleup Europe (géré par EQT) et de PSG Equity, avec BlackRock, ASML, Nvidia, Bpifrance et Salesforce Ventures aussi au capital.
"Ce financement nous donne les moyens d'aller plus vite en recherche, en produits et en infrastructure, et d'aider davantage d'organisations à déployer l'IA à grande échelle selon leurs propres exigences."
Arthur Mensch, CEO Mistral AI
Lire le décryptage complet →
Annonce

OpenAI 3,1 workdays d'agents pour 1 jour humain : ton job de dev vient de prendre un coup

OpenAI publie le 6 septembre 2026 un rapport interne : ses chercheurs cumulent 3,1 journees d'agents Codex pour chaque journee humaine. Milestone 'intern-level' atteint, cap sur mars 2028. Decryptage pour les devs et chercheurs francais.

  • ·OpenAI publie le 6 septembre 2026 un rapport interne : ses chercheurs consomment 3,1 journees d'agents Codex pour chaque journee humaine travaillee (mesure mi-aout 2026).
  • ·Le seuil a ete franchi seulement depuis juin 2026. Le chercheur median brule plus de 600 dollars par jour en tokens, le 90e percentile depasse 7 000 dollars par jour.
"Nous pensons plausible qu'en septembre de l'annee prochaine, nous ayons un assistant de recherche IA de niveau intern, et qu'en mars 2028, nous ayons un veritable chercheur IA."
Sam Altman
Lire le décryptage complet →
Annonce

Fermat en 11 jours par Claude : Anthropic vient de rétrécir un pan entier du métier de chercheur

Anthropic a annoncé le 4 septembre 2026 que Claude a formalisé le théorème de Fermat en Lean en 11 jours, avec 13 millions de lignes de code et 29 500 théorèmes prouvés. Ce que ça change pour les mathématiciens, chercheurs, développeurs et vérificateurs en…

  • ·Anthropic a annoncé le 4 septembre 2026 que Claude a produit la première preuve formelle et vérifiée par ordinateur du théorème de Fermat, en langage Lean, en 11 jours de temps horloge.
  • ·Le run a généré 13 millions de lignes de code Lean, prouvé 30 300 théorèmes intermédiaires (29 500 utilisés dans la preuve finale) et consommé environ 6 milliards de tokens de sortie.
"Nous avons franchi un pas énorme vers la formalisation automatique de toute la littérature mathématique moderne."
Kevin Buzzard, mathématicien à Imperial College London
Lire le décryptage complet →
← Tous les décryptages