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)

Épisode de The Automated Daily - AI News Edition par TrendTeller · 29 octobre 2026 · 7 min

Soutenez directement The Automated Daily : 15 épisodes gratuits par jour, 5 éditions, 3 langues, pour environ 4 dollars de production par jour. Un café nous permet de continuer : theautomateddaily.com/support Merci de soutenir ce podcast en visitant nos sponsors: - Conception assistée par l'IA sans effort pour des présentations, des sites web et bien plus avec Gamma - https://try.gamma.app/tad - KrispCall: Téléphonie cloud agentique - https://try.krispcall.com/tad - Lindy est votre assistant IA ultime qui gère proactivement votre boîte de réception - https://try.lindy.ai/tad Sujets du jour: Axiom vérifie un théorème géant - Axiom affirme avoir formalisé en Lean la Classification des groupes simples finis, grâce à des agents IA et des mathématiciens, en découvrant des erreurs et un nouveau théorème. Anthropic accélère la découverte de médicaments - Anthropic présente ses travaux avec Claude dans le développement de médicaments et rachète Mithril Medicine, biotech d’une seule personne dirigée par Cody Tranbarger, alias Professor Oak. Nouveaux benchmarks pour agents IA - FrontierCode 2.0 de Cognition et DAYJOB: Tax de Surge AI montrent que les agents IA restent loin de l’autonomie en ingénierie logicielle et en fiscalité professionnelle. Genie 4 et robotique Google - Google DeepMind dévoile le world model multimodal Genie 4, tandis que Gemini Robotics ER 2 arrive en préversion publique sur Google Cloud pour le raisonnement robotique. Assistants vidéo proactifs et simulation - Le benchmark StreamVibe vise des agents vidéo qui devinent l’intention de l’utilisateur, et InteractiveWorld de Meta publie son simulateur et le benchmark InteractiveBench. Apprendre en dormant : Google Research - Google Research propose un cadre de « sommeil » et de « rêve » pour l’apprentissage continu des LLM, afin de limiter l’oubli catastrophique. Liquid AI lance LFM3 - Liquid AI publie LFM3, des modèles compacts open-weight pour texte, vision et audio, conçus pour des agents locaux sur appareil. Nvidia investit dans Meta - Nvidia investira 3 milliards de dollars dans l’augmentation de capital de Meta et fournira ses processeurs Vera Rubin pour les agents IA de Muse. Où vont les puces IA - Epoch AI estime via les données douanières que 72 % du calcul IA mondial arrive aux États-Unis, contre environ 10 % pour la Chine. IA de Google et élection 2020 - Ars Technica révèle que l’AI Mode de Google évitait de dire qui a gagné la présidentielle américaine de 2020, à cause de filtres de sécurité trop stricts. Exemption humaniste face à l’IA - L’Université du Kentucky accorde à un administrateur humaniste une exemption religieuse lui permettant de ne pas utiliser l’IA au travail. Marissa Mayer et la parentalité automatisée - Les propos de Marissa Mayer sur son app Dazzle relancent la critique des dirigeants tech qui veulent confier parentalité et relations humaines à l’IA. Visual Studio simplifie Git - La mise à jour d’octobre de Visual Studio ajoute la comparaison de commits avec le répertoire de travail, la résolution groupée de conflits et Hot Exit. - Visual Studio October Update Adds Commit Comparison, Bulk Conflict Resolution, and Hot Exit - Nvidia to Invest $3 Billion in Meta as AI Partnership Deepens - Anthropic Acquires One-Person Biotech Mithril Medicine - Cognition Launches FrontierCode 2.0 to Test Real-World Coding Agents - Google DeepMind unveils Genie 4 for real-time world simulation - Google Cloud launches Gemini Robotics ER 2 in public preview - Facebook Research Releases InteractiveWorld for Verifiable Human-Centric Assistant Evaluation - Kentucky Humanist Wins First Known Religious Exemption From AI - Seekr eBook Calls for Human-in-Control AI Oversight - Neo4j Announces NODES 2026 Global AI and Graph Conference - StreamVibe Brings Proactive Video Agents to Evolving User Intent - Tech Elites Face Backlash for Pushing AI Into Parenting and Relationships - Axiom formalizes the Classification of Finite Simple Groups - CaseCite: Self-Hosted Legal...

Autres épisodes de « The Automated Daily - AI News Edition »

À propos du podcast

Welcome to 'The Automated Daily - AI News Edition', your ultimate source for a streamlined and insightful daily news experience.

The Automated Daily - AI News Edition

Épisodes similaires

Tous les épisodes de The Automated Daily - AI News Edition · Plus de podcasts Technologie