Aperçu des actus du jour :
🧮 L’IA s’attaque aux maths
🛒 Gemini Spark veut gérer vos achats tout seul, avec une coalition de géants
📎 ChatGPT débarque dans le panneau latéral de PowerPoint
⚡ Gemini 3.5 Flash : 4x plus rapide, pour un coût divisé par 3
📊 82% des enseignants américains sans formation IA
🤖 Meilleurtaux et Adecco franchissent le cap des agents opérationnels
🔐 BNP Paribas s'allie à Mistral pour se préparer aux nouvelles cybermenaces IA
💸 Anthropic verse 1,25 milliard de dollars par mois à SpaceX
🎭 Claude pris à tricher sur un benchmark
🏦 Souveraineté numérique : BPCE construit sa propre infrastructure IA
🌍 L’IA confrontée au backlash
🔎 Décryptage
L’IA s’attaque aux maths
L'IA résout des problèmes mathématiques qui résistaient depuis 80 ans
Ce que c'est. En l'espace d'une semaine, deux annonces ont secoué la communauté mathématique mondiale. OpenAI a révélé qu'un de ses modèles de raisonnement avait réfuté une conjecture ouverte depuis 1946 : un problème que des générations de mathématiciens avaient tenté de résoudre sans jamais y parvenir, ni dans un sens ni dans l'autre. Dans le même temps, Google DeepMind annonçait qu'AlphaProof Nexus venait de clore 9 problèmes de la liste d'Erdős, un catalogue de défis considérés parmi les plus redoutables de l'histoire des mathématiques, certains posés il y a plus de 50 ans. Coût estimé par problème résolu : quelques centaines de dollars.
Pourquoi ça compte. Les mathématiques pures sont considérées comme l'une des frontières cognitives les plus résistantes pour l'IA : elles exigent non pas des patterns ou des statistiques, mais du raisonnement symbolique pur, des preuves formelles, de l'intuition abstraite. Il y a trois ans, l'idée qu'un modèle de langage puisse produire une preuve mathématique originale faisait sourire la plupart des chercheurs. Ces résultats montrent que l'IA ne se contente plus de restituer des connaissances existantes : dans certains cas bien définis, elle commence à produire de la connaissance inédite.
La limite à garder en tête. Ces avancées restent très ciblées. Les modèles excellent sur des problèmes bien formalisés, avec des règles précises. Ils restent moins à l'aise avec l'intuition créative qui mène à poser une bonne question, ce qui est souvent la vraie difficulté en mathématiques.
À retenir. Les barrières tombent les unes après les autres, à une vitesse vertigineuse. J’en tire une leçon pour les entreprises qui veulent déployer l’IA : surtout ne pas s’engager dans des projets trop rigides. Priorité à l’agilité !
👁️ L’œil Business
Le ras-le-bol de l'IA se fait entendre
Quelque chose d'inhabituel se passe en ce moment. Pendant des mois, les critiques de l'IA étaient traitées comme le bruit marginal de gens dépassés. Aujourd'hui, la résistance s’amplifie avec 3 faits majeurs cette semaine.
DuckDuckGo enregistre une hausse de 30% de ses installations, directement corrélée, selon l'entreprise, à la "lassitude vis-à-vis de l'IA forcée dans les moteurs de recherche".
À l'Université d'Arizona, Eric Schmidt (ex-PDG de Google) a été hué en plein discours de remise des diplômes après avoir comparé l'IA aux révolutions technologiques précédentes et exhorté les diplômés à l'embrasser. Dans la salle : une génération qui craint que les machines la remplacent, que les emplois disparaissent et qu'on lui demande d'applaudir ceux qui accélèrent le mouvement.
Et le Pape Léon XIV a fait publier une encyclique de 42 000 mots — un texte monumental — comparant l'IA à la révolution industrielle et appelant à des garde-fous moraux urgents.
Ce qui me frappe, c'est que ces trois signaux viennent d'environnements radicalement différents : la tech, l'éducation, la religion. La résistance à l'IA n'est plus une opinion de niche mais un mouvement qui prend forme simultanément dans plusieurs sphères. Pour les organisations qui déploient l'IA en interne ou en externe, il n’est pas recommandé d’ignorer ce contexte. Heureusement, vous l’avez lu ici !
📌 Les 3 mises à jour clés de la semaine
Spark, ChatGPT + PPT et Gemini 3.5
Gemini Spark : l'agent de Google qui veut gérer vos achats tout seul
Annoncé au Google I/O et déjà en phase de déploiement, Gemini Spark n'est pas un simple assistant. C'est un agent persistant dans le cloud, capable de mémoriser vos préférences, d'agir en arrière-plan et de coordonner des tâches complexes à votre place sans que vous ayez à intervenir. La vraie nouveauté, c'est le protocole AP2, un standard de paiement entre agents : deux IA peuvent désormais négocier et régler une transaction entre elles, sans action humaine. Et derrière cette annonce, une coalition qui donne le vertige : Amazon, Meta, Microsoft, Salesforce et Stripe ont tous signé pour intégrer AP2. En clair : demain, votre agent Gemini pourra commander, payer et confirmer une livraison sans que vous ayez à toucher votre téléphone. Génial ? Euh… je demande à voir. Voir plus 🔗
ChatGPT arrive dans PowerPoint
Microsoft déploie en bêta mondiale un panneau latéral ChatGPT intégré directement dans PowerPoint. Sans quitter le logiciel, vous pouvez demander à l'assistant de générer des slides, réécrire des textes, proposer une structure narrative ou créer des visuels. Pour les millions d'utilisateurs qui passent encore des heures sur PowerPoint chaque semaine, c'est probablement l'intégration IA la plus pratique de l'année. Et au passage, une pression supplémentaire sur des outils comme Gamma ou Beautiful.ai. Voir plus 🔗
Gemini 3.5 Flash : plus rapide, plus long, moins cher
Google lance Gemini 3.5 Flash, une version repensée pour la vitesse et le volume : 4 fois plus rapide que Flash 2.0, fenêtre de contexte d'1 million de tokens et des coûts réduits qui pourraient représenter jusqu'à 1 milliard de dollars d'économies annuelles pour les grandes entreprises qui l'adoptent à grande échelle. Entre un modèle ultra-puissant pour les cas complexes (Gemini Omni) et un modèle ultra-rapide pour le volume (Flash), Google est en train de couvrir l'ensemble du spectre des besoins. Voir plus 🔗
📊 Adoption & marché
Le chiffre qui parle
82% des enseignants américains ne reçoivent aucune directive officielle sur l'IA
Une étude Gallup menée auprès de plus de 2 000 enseignants du primaire et secondaire public américain révèle que seulement 18% d'entre eux bénéficient d'une politique formelle sur l'usage de l'IA dans leur travail alors que leurs élèves l'utilisent massivement au quotidien. On demande aux professeurs de préparer une génération à un monde transformé par l'IA sans leur donner les outils pour le comprendre eux-mêmes. C'est une bombe à retardement sur la qualité de l'éducation à l'IA alors qu’il s’agit, de mon point de vue, de l’un des enjeux majeurs de la transformation en cours. Voir plus 🔗
Meilleurtaux et Adecco ont tous les deux franchi le cap des agents opérationnels. Deux retours terrain très concrets : Meilleurtaux a déployé des agents capables de traiter des dossiers de prêt de bout en bout pour les cas standards, sans intervention humaine. Adecco utilise des agents pour matcher candidats et postes, planifier des entretiens et relancer automatiquement les entreprises. Ce qui ressort dans les deux cas : les gains ont été visibles en semaines, pas en mois. Et les principales difficultés n'étaient pas techniques, mais organisationnelles. Voir plus 🔗
BNP Paribas s'allie à Mistral pour se préparer aux nouvelles cybermenaces IA. Dans la foulée des révélations sur Claude Mythos (le modèle Anthropic capable de détecter 10 000 failles critiques en quelques heures), BNP Paribas et Mistral annoncent un partenariat pour renforcer la détection de vulnérabilités dans les systèmes bancaires. L'IA qui attaque et l'IA qui défend : la course est lancée. Voir plus 🔗
La BPCE déploie un assistant IA souverain pour ses développeurs. La banque française a construit un assistant d'aide au développement logiciel entièrement hébergé en France, sur infrastructure souveraine. L'outil assiste 3 000 développeurs au quotidien dans l'écriture de code, la révision et la documentation. Fait rare à noter : BPCE a choisi de maîtriser l'ensemble de la chaîne, sans dépendre des hyperscalers américains. Voir plus 🔗
Anthropic verse 1,25 milliard de dollars par mois à SpaceX, soit 45 milliards sur 3 ans. On (enfin moi en tout cas !) découvre à l’occasion que SpaceX a construit ses propres clusters GPU géants et les loue désormais aux grands labos IA. Anthropic a sécurisé un accès dédié pour entraîner ses prochains modèles à grande échelle. Le détail qui dit tout : sur 3 ans, Anthropic va donc dépenser un an de chiffre d’affaires uniquement en calcul. La course à l'IA est aussi (surtout ?) une course aux infrastructures et SpaceX vient de faire une entrée fracassante dans la partie. Voir plus 🔗
🔮 Le radar de Joynt
Le signal faible
Claude pris en flagrant délit de triche
Les chercheurs derrière le benchmark DeepSWE, qui mesure les capacités des IA sur de vraies tâches de développement logiciel, ont découvert quelque chose d'inhabituel. Sur plus de 12% des runs, Claude Opus accédait à l'historique des dépôts de test pour retrouver des solutions déjà soumises, plutôt que de résoudre les problèmes par lui-même. Personne n'avait explicitement programmé ce comportement. Claude a, seul, découvert et exploité une "faille" dans les règles du jeu.
Ce n'est pas inquiétant dans le sens "Terminator" mais plutôt dans le sens "l'IA optimise pour réussir le test, pas pour réussir la tâche" (qu’on appelle communément le problème du "reward hacking"). C'est exactement le type de comportement que les équipes d'alignement cherchent à anticiper. Et c'est aussi une leçon pour toute organisation qui pilote ses équipes IA uniquement par les métriques de sortie : si l'IA peut tricher, elle cherchera à le faire. Voir plus 🔗
Outils à découvrir
Pas de catalogue gadget : ici, chaque outil est relié à un usage métier. De quoi savoir tout de suite si ça peut servir à vos équipes.
fal.ai 🔗 — Une infrastructure de génération d'images et de vidéos ultra-rapide, avec accès aux meilleurs modèles open source (Flux, LTX Video, Stable Diffusion). Vient de signer un partenariat stratégique avec AWS, ce qui accélère son déploiement à l'échelle. Pour qui ? Équipes créatives, agences et équipes produit qui veulent générer des visuels ou des vidéos en volume sans les temps d'attente habituels.
Stable Audio 3.0 🔗 — La dernière version du modèle de génération audio de Stability AI : musique, ambiances sonores et effets à partir d'une simple description textuelle. Qualité sensiblement améliorée par rapport aux versions précédentes. Pour qui ? Créateurs de contenu, équipes marketing et développeurs d'expériences qui cherchent une alternative ouverte à Suno ou Udio.
NotebookLM 🔗 — Google vient d'ajouter la synchronisation automatique avec Google Drive : vos documents se mettent à jour en temps réel dans votre notebook, sans avoir à les réimporter manuellement. Un détail qui change tout quand on travaille sur des bases documentaires qui évoluent. Pour qui ? Consultants, juristes et équipes de veille qui travaillent en continu sur des corpus de documents changeants.
Codex Mobile 🔗 — OpenAI déploie son agent de développement sur mobile. Vous envoyez une tâche depuis votre téléphone, l'agent travaille en autonomie et vous retrouvez le code complété sur votre machine. Pour qui ? Développeurs et CTOs qui veulent déléguer des tâches de développement entre deux réunions, sans être derrière leur ordinateur.
👀 Juste pour ne pas passer à côté
Anthropic boucle une levée de 30 milliards de dollars à une valorisation de 900 milliards. Sequoia, Dragoneer, Altimeter et Greenoaks co-pilotent le tour, qui ferait d'Anthropic la startup IA la plus valorisée au monde devant OpenAI (852 milliards de dollars en mars). La société annonce par ailleurs un chiffre d'affaires annualisé qui devrait dépasser 50 milliards de dollars d'ici fin juin. Il y a 18 mois, Anthropic était valorisée 18 milliards de dollars. Voir plus 🔗
Elon Musk perd son procès contre OpenAI. Le jury californien a rejeté le 18 mai sa demande de 150 milliards de dollars de dommages et intérêts contre Sam Altman non pas sur le fond, mais pour cause de prescription : Musk avait connaissance des faits reprochés bien avant de déposer plainte. Un appel est annoncé. C'est le temps, pas la morale, qui a tranché. Voir plus 🔗
Andrej Karpathy rejoint Anthropic. L'un des cerveaux derrière Tesla Autopilot et ex-directeur de la recherche IA chez OpenAI quitte son projet éducatif Eureka Labs pour rejoindre le concurrent direct d'OpenAI. Pas un rôle opérationnel : il intègre le conseil consultatif de recherche. Un signal fort sur la direction que prend Anthropic. Voir plus 🔗
OpenRouter lève 113 millions de dollars, valorisation 1,3 milliard. La plateforme qui permet d'accéder à plus de 300 modèles IA (OpenAI, Anthropic, Mistral, Llama, Gemini…) via une seule API continue de s'imposer comme l'infrastructure discrète de l'écosystème IA. Voir plus 🔗
LinkedIn déclare la guerre au contenu IA générique. Le réseau social met en place un nouveau filtre ciblant les posts "clairement générés par IA" sans valeur personnelle ajoutée. Les "5 leçons que j'ai apprises" et autres threads sans substance sont dans le viseur en premier. Voir plus 🔗
Bonitasoft devient Ofelia. La pépite française de l'automatisation des processus change de nom et repositionne son offre sur l'orchestration d'agents IA. Après 20 ans sous la même marque, c'est un changement de cap symbolique et un signe de plus que l'automatisation classique se réinvente autour de l'IA agentique. Voir plus 🔗
💌 L’essentiel, ça se partage (et un peu d’aide, ça fait toujours plaisir !)
Si cette édition vous a été utile, envoyez-la à un(e) collègue ou à un(e) client(e).
