Suivez vos podcasts préférés, écoutez hors ligne et en voiture avec CarPlay et Android Auto, et reprenez toujours là où vous en étiez. Essai gratuit.
Merci de soutenir ce podcast en visitant nos sponsors: - Découvrez l'avenir de l'audio IA avec ElevenLabs - https://try.elevenlabs.io/tad - SurveyMonkey, Utiliser l'IA pour faire émerger des insights plus rapidement et réduire le temps d'analyse manuelle - https://get.surveymonkey.com/tad - Prezi: Créez rapidement des présentations avec l'IA - https://try.prezi.com/automated_daily Soutenez directement The Automated Daily: Offre-moi un café: https://buymeacoffee.com/theautomateddaily Sujets du jour: IA, maths et querelle de priorité - OpenAI affirme avoir résolu le problème de Navier-Stokes avec une preuve et une formalisation Lean, pendant que Tristan Buckmaster publie des résultats voisins et alerte sur la question du crédit scientifique. Mots-clés : IA, mathématiques, Navier-Stokes, Lean, priorité, OpenAI, Buckmaster, Terence Tao. Atlas ADN à l’échelle du génome - Google DeepMind lance AlphaGenome Atlas, une base géante qui prédit l’effet de milliards de variantes génétiques. L’enjeu est d’accélérer la recherche sur les maladies rares et les régions non codantes de l’ADN. Mots-clés : génomique, ADN, variants, DeepMind, biologie, maladies rares. LLM locaux, qualité et concision - Deux signaux pour l’IA pratique : un benchmark montre qu’un grand modèle reste très bon en 4 bits sur GPU grand public, et un projet open source pousse les assistants à répondre plus vite et plus directement. Mots-clés : LLM local, quantification, Qwen, GPU, productivité, open source. Une liseuse devenue imprimante réseau - Un développeur a transformé une liseuse e-ink en imprimante compatible macOS via IPP et Bonjour. Un hack élégant qui montre jusqu’où peuvent aller l’interopérabilité et l’ingéniosité logicielle sur du matériel limité. Mots-clés : e-ink, impression, IPP, Bonjour, hack matériel, macOS. - Mathematician Describes AI-Assisted Blowup Results and OpenAI Dispute - OpenAI Claims Solution to the Navier–Stokes Millennium Problem - Google DeepMind Launches AlphaGenome Atlas for Human DNA - Meta Introduces Muse as Its Personal AI Agent - GitHub Repo: i-have-adhd Skill for Concise AI Answers - Blackmagic Design Adds AI and Workflow Upgrades to DaVinci Resolve 21.1 - Terence Tao Warns AI May Drain Mathematics of Good Open Problems - How an E-Ink Reader Became a Printer - Qwen3.8 27B Quantization Benchmark: 4-Bit Holds Up, 1-Bit Fails - Inception launches Mercury 2.5 with faster, cheaper production AI Transcription de l'Episode IA, maths et querelle de priorité Commençons par l’histoire la plus commentée du jour, à la frontière entre mathématiques, IA et politique de la recherche. OpenAI affirme avoir résolu le problème d’existence et de régularité de Navier-Stokes, l’un des Millennium Prize Problems, avec une preuve orientée vers l’apparition d’un blowup en temps fini, accompagnée d’une formalisation Lean. Si cela tient, c’est une annonce majeure, parce qu’on parle d’une question ouverte depuis des décennies, au cœur de la théorie des fluides. Mais en parallèle, Tristan Buckmaster et Levent Alpöge ont rendu publics trois résultats sur des blowups en temps fini pour des systèmes voisins avec forçage lisse, et Buckmaster explique que leur programme a été poussé jusqu’au bout avec l’aide de grands modèles de langage. Le point sensible, ce n’est pas seulement la preuve elle-même, c’est aussi la chronologie. Buckmaster dit avoir appris qu’un modèle interne d’OpenAI aurait produit un résultat sur Navier-Stokes après qu’OpenAI a eu connaissance de leurs travaux, et il parle publiquement pour éviter, selon lui, une lecture trompeuse de la séquence. Il précise ne pas avoir vu la preuve d’OpenAI et ne pas accuser l’entreprise de faute. Au-delà de la controverse, c’est peut-être le vrai tournant du jour : l’IA ne sert plus seulement à assister, elle commence à bousculer les règles de crédit, de relecture et de communication scientifique. Et Terence Tao met déjà le doigt sur le problème suivant : si les machines rendent les bonnes pistes plus faciles à exploiter, la ressource rare pourrait devenir non plus la solution, mais le choix du bon problème et l’insight qu’on en tire. Atlas ADN à l’échelle du génome Dans les sciences du vivant, Google DeepMind a présenté AlphaGenome Atlas, une énorme base de données qui tente d’estimer l’impact biologique de chaque changement possible d’une seule lettre dans le génome humain. L’idée est simple à dire et immense à exécuter : pré-calculer les effets probables de milliards de variantes pour que les chercheurs puissent interroger tout ça presque instantanément. Pourquoi c’est important ? Parce qu’en génomique, on sait lire l’ADN beaucoup plus vite qu’on ne sait interpréter ce qu’on voit, surtout dans les régions non codantes. Si cet atlas tient ses promesses, il peut aider à repérer plus vite les variantes pertinentes dans les maladies rares, mais aussi à mieux étudier des traits complexes où le signal est diffus. En clair, ce n’est pas juste une base de plus : c’est une tentative de transformer un océan de mutations possibles en carte exploitable. LLM locaux, qualité et concision Autre tendance du jour : l’IA devient plus locale et plus pragmatique. Un benchmark autour de Qwen 3.8 en version 27B montre qu’en quantification 4 bits, donc dans un format beaucoup plus léger, on garde presque toute la qualité utile sur plusieurs tests, tout en restant dans une zone compatible avec des GPU grand public. En revanche, à 1 bit, les performances s’effondrent. Le message est intéressant parce qu’il casse une idée reçue : compresser un modèle ne veut pas forcément dire le rendre médiocre. Pour beaucoup d’usages, le bon compromis semble déjà là. Et dans le même esprit très concret, un projet open source remarqué aujourd’hui propose une sorte de “style pack” pour assistants de code afin d’obtenir des réponses plus directes, avec l’action d’abord et moins de remplissage. Ce n’est pas une percée scientifique, mais cela dit quelque chose d’important sur l’état du marché : on ne demande plus seule
