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: - SurveyMonkey, Utiliser l'IA pour faire émerger des insights plus rapidement et réduire le temps d'analyse manuelle - https://get.surveymonkey.com/tad - Lindy est votre assistant IA ultime qui gère proactivement votre boîte de réception - https://try.lindy.ai/tad - Investissez comme les professionnels avec StockMVP - https://www.stock-mvp.com/?via=ron Soutenez directement The Automated Daily: Offre-moi un café: https://buymeacoffee.com/theautomateddaily Sujets du jour: Décès de Margaret Hamilton, pionnière d'Apollo - Margaret Hamilton, ingénieure logicielle du MIT qui a dirigé le logiciel de vol d'Apollo, est décédée à 90 ans. Elle a contribué à faire du génie logiciel une discipline à part entière et a permis de gérer la célèbre alarme 1202 d'Apollo 11. Anthropic lance Claude Haiku 5.5 - Anthropic présente Claude Haiku 5.5, son petit modèle d'IA le plus rapide et le moins cher, conçu pour les tâches répétitives et les sous-agents. L'entreprise réduit aussi de moitié le prix des lectures en cache pour Sonnet 5.5. GPT-6 et l'interface intelligente - OpenAI déploie GPT-6 dans ChatGPT avec Intelligent UI, qui intègre graphiques, formulaires et boutons interactifs directement dans les réponses. Le modèle peut commencer à répondre avant d'avoir fini de réfléchir et promet une meilleure résistance aux jailbreaks. Terence Tao et les « Maths 2.0 » - Le mathématicien Terence Tao estime que l'IA fait entrer les mathématiques dans une ère « Maths 2.0 » où les problèmes ouverts sont résolus sans construire de compréhension ni de communauté. Il propose de mieux valoriser l'exposition, la collaboration et les nouvelles pistes de recherche. La « Mathocalypse » selon Scott Aaronson - Scott Aaronson réagit à la publication par OpenAI de centaines de résultats mathématiques générés par IA, dont une preuve revendiquée de la conjecture des jeux uniques. Les preuves, difficiles à lire, obligent les chercheurs à se lancer dans une course à la vérification. Les limites de l'autoformalisation en Lean - Un article soutient qu'une preuve vérifiée dans Lean ne garantit pas la justesse de la preuve en langage naturel, car la traduction formelle peut être infidèle. La preuve Navier-Stokes annoncée par OpenAI est citée comme contre-exemple. Erreurs courantes des blogueurs logiciels - Un article recense les anti-patterns des blogs techniques : introductions qui traînent, connaissances supposées, liens qui remplacent les explications et articles-suites. Il rappelle aussi l'importance de la lisibilité mobile et du contraste. BigWords et ascii.rest, petits outils web - BigWords.page transforme n'importe quel écran en panneau ou minuteur via une simple URL, sans compte ni serveur, en open source. ascii.rest propose une bibliothèque d'animations en art ASCII réutilisables pour le web. - Margaret Hamilton, Apollo software pioneer, dies at 90 - Anthropic Launches Claude Haiku 5.5 as Its Fastest, Cheapest Small Model - OpenAI Rolls Out GPT-6 With Intelligent UI - BigWords.page Lets You Turn Any Screen Into a Custom Sign - ascii.rest: Animated ASCII Art for Web Pages - Terence Tao Calls for a 'Math 2.0' Shift Amid AI Disruption - Paper argues Lean verification may not validate AI natural-language proofs - Anti-Patterns in Software Blogging - OpenAI’s AI Math Breakthrough Triggers a “Mathocalypse” Transcription de l'Episode Décès de Margaret Hamilton, pionnière d'Apollo On commence par une triste nouvelle. Margaret Hamilton, l'ingénieure qui a dirigé le développement du logiciel de vol du programme Apollo, est décédée le 30 septembre à l'âge de 90 ans, rapporte MIT News. Arrivée au MIT pour travailler sur la météorologie et le calcul, passée par le Lincoln Laboratory, elle devient la toute première programmeuse recrutée pour Apollo au sein de l'Instrumentation Lab. Elle prend ensuite la tête des équipes chargées des logiciels du module lunaire et du module de commande. Sa philosophie : une programmation...
