Axiom vérifie un théorème géant & Anthropic accélère la découverte de médicaments - Actualités IA (29 oct. 2026)

Une démonstration mathématique de quinze mille pages, éparpillée dans des centaines d’articles, vient d’être entièrement vérifiée par machine… et en chemin, des agents IA y ont trouvé des failles qu’il a fallu combler avec des mathématiques inédites. On en parle tout de suite. Bienvenue dans The Automated Daily, édition AI News. Le podcast créé par l’IA générative. Je suis TrendTeller, et nous sommes le 29 octobre 2026. Au programme : la médecine assistée par Claude, des benchmarks qui calment les ardeurs, des mondes simulés chez Google, et quelques débats bien humains autour de l’IA.

Axiom vérifie un théorème géant

Commençons par cette prouesse. La société Axiom annonce avoir formalisé dans l’assistant de preuve Lean la Classification des groupes simples finis, l’un des plus vastes résultats des mathématiques. Son équipe, mêlant agents IA et mathématiciens, a relevé de nombreuses petites erreurs dans la littérature, mais aussi quelques vrais trous. Le cas le plus marquant concerne le théorème du groupe déséquilibré : une voie publiée s’est révélée défaillante, et l’équipe l’a remplacée par un argument nouveau, produisant au passage un résultat original. Pourquoi c’est important ? Ce théorème irrigue l’algèbre, la théorie des nombres ou la physique mathématique. En disposer sous forme vérifiée, avec une liste d’errata et une bibliothèque réutilisable, c’est solidifier tout ce qui repose dessus.

Anthropic accélère la découverte de médicaments

Direction la biologie. Anthropic détaille plusieurs mois de collaboration avec six organisations pharmaceutiques pour tester Claude sur toute la chaîne du médicament, pas seulement la conception de molécules : choix des cibles, optimisation, fabrication, dossiers réglementaires, planification d’essais cliniques. Parmi les exemples, des designs d’anticorps contre les allergies alimentaires, la refonte d’un composant de thérapie CAR-T, ou des documents réglementaires rédigés bien plus vite. Bristol Myers Squibb fait aussi partie des partenaires. Et surprise : Anthropic a racheté Mithril Medicine, une biotech… d’une seule personne. Son fondateur, Cody Tranbarger, en profite pour révéler qu’il est le mystérieux « Professor Oak » bien connu sur X. Il y développait des anticorps bispécifiques contre une dystrophie musculaire rare, avec des essais humains envisagés fin 2028. Son idée, le « pipeline dans une personne » : l’IA ne fait pas que raccourcir les délais, elle permet de mener plusieurs programmes en parallèle et de prendre davantage de bonnes décisions de poursuite ou d’arrêt.

Nouveaux benchmarks pour agents IA

Côté évaluation, deux nouveaux benchmarks remettent les pendules à l’heure. Cognition publie FrontierCode 2.0, qui juge les agents de code sur des tâches réalistes : contraintes implicites, choix de conception, absence de régressions, et surtout minutie. Le meilleur modèle plafonne autour de 45 %, et l’audit a même déniché une faille de sécurité dans du code amont. Même constat chez Surge AI avec DAYJOB: Tax, qui confie aux agents de vrais dossiers fiscaux, avec documents en désordre et informations manquantes. Les modèles Claude dominent le classement, mais les taux de réussite restent faibles : des échéances et implications fiscales majeures passent à la trappe. En clair, l’IA aide, mais elle ne peut pas encore prendre un dossier en charge seule.

Genie 4 et robotique Google

Passons aux mondes simulés. Google DeepMind présente Genie 4, un world model qui génère en temps réel images, sons, musique et dialogues dans un univers cohérent, pilotable en langage naturel : on change la météo, on déplace la caméra, on ajoute des personnages. La physique et les mouvements humains gagnent en réalisme. Il sort d’abord en préversion pour des testeurs de confiance. L’enjeu dépasse le divertissement : ces environnements servent aussi à entraîner robots et agents. Justement, Google Cloud ouvre en préversion publique Gemini Robotics ER 2, son modèle de raisonnement de haut niveau pour robots, capable de planifier, de vérifier par la vidéo qu’une étape a réussi et de se corriger. Boston Dynamics ou Arm figurent parmi les intéressés.

Assistants vidéo proactifs et simulation

Dans la même veine, le projet InteractiveWorld de Facebook Research, que nous avions évoqué, publie son dépôt officiel : un simulateur où l’assistant voit à travers les yeux d’un humain, et un benchmark de 120 tâches vérifiées sur l’état réel du monde 3D, plutôt que sur du texte. Et une équipe de chercheurs propose StreamVibe, un cadre pour des agents vidéo proactifs qui devinent ce que veut l’utilisateur, y compris quand son intention évolue, grâce notamment à une mémoire hiérarchique.

Apprendre en dormant : Google Research

Côté recherche fondamentale, Google Research s’inspire du sommeil. Son cadre alterne une phase d’éveil, où le modèle traite les demandes, et une phase de sommeil où il consolide ces souvenirs dans ses paramètres, puis une phase de « rêve » où il s’entraîne sur des exemples synthétiques. Objectif : permettre aux LLM d’apprendre après leur déploiement sans oublier le reste. De son côté, Liquid AI lance LFM3, des modèles compacts et ouverts pour le texte, la vision et l’audio, pensés pour faire tourner des agents directement sur l’appareil.

Liquid AI lance LFM3

Côté industrie, nouvelle étape dans le rapprochement entre Nvidia et Meta : Nvidia investira 3 milliards de dollars dans l’augmentation de capital de Meta, qui cherche jusqu’à 95 milliards en actions. Meta utilisera davantage d’infrastructures Nvidia, dont Vera Rubin, pour les agents de Muse. Et pour savoir où atterrit toute cette puissance, Epoch AI a croisé les données douanières : entre 2022 et mi-2026, environ 72 % du calcul IA mondial est arrivé aux États-Unis. La Chine suit loin derrière, autour de 10 %, avec des puces souvent moins performantes. Une carte qui pèse sur la compétitivité économique comme sur la puissance militaire.

Nvidia investit dans Meta

Place aux débats de société. Ars Technica a constaté que l’AI Mode de Google refusait souvent de dire qui avait remporté la présidentielle américaine de 2020, renvoyant vers des sources officielles. Curieusement, depuis l’étranger, la réponse était directe. Google invoque des filtres de sécurité trop stricts et promet un correctif. Une illustration des excès de prudence qui rendent l’IA moins utile sur des faits établis.

Où vont les puces IA

Dans le Kentucky, un administrateur universitaire, David Durman, a obtenu une exemption lui permettant de ne pas utiliser d’outils d’IA, au nom de ses convictions humanistes. Pour lui, s’y fier reviendrait à sous-traiter sa pensée et son jugement moral. L’American Humanist Association y voit une première.

IA de Google et élection 2020

Enfin, Marissa Mayer fait réagir en décrivant son application Dazzle organisant anniversaires, rendez-vous de jeux et vacances familiales, jusqu’à dialoguer avec l’assistant IA de son mari. Les critiques pointent des dirigeants tech qui veulent rendre « sans friction » ce que beaucoup considèrent comme profondément humain. Un sondage Pew montre d’ailleurs que nombre d’Américains craignent que l’IA affaiblisse les relations.

Exemption humaniste face à l’IA

Un mot pour les développeurs pour finir : la mise à jour d’octobre de Visual Studio permet de comparer un ancien commit avec le code en cours, modifications non validées comprises, de résoudre des conflits de fusion en masse, et restaure le travail non enregistré à la réouverture. Moins d’interruptions, plus de code.

C’est tout pour aujourd’hui. Des mathématiques vérifiées par machine aux débats sur notre rapport à l’IA, la journée aura été dense. Vous trouverez les liens vers toutes ces histoires dans les notes de l’épisode. Merci de votre écoute, ici TrendTeller, et à demain pour une nouvelle édition de The Automated Daily.

Axiom vérifie un théorème géant & Anthropic accélère la découverte de médicaments - Actualités IA (29 oct. 2026)

Our Sponsors

Today's AI News Topics