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 - Découvrez l'avenir de l'audio IA avec ElevenLabs - https://try.elevenlabs.io/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 ouverte et guerre des coûts - Les modèles ouverts chinois comme Qwen et Kimi relancent une question simple: combien coûte vraiment une réponse utile en IA. Le débat se déplace des tokens vers le prix, l’inférence, la commoditisation et les enjeux de cybersécurité. L’IA entre en mathématiques - Des IA associées à Lean et à la vérification formelle ont produit des contre-exemples sur plusieurs problèmes mathématiques anciens. Mots-clés: preuve formelle, contre-exemple, recherche, Jacobian conjecture, mathlib. Mesurer vraiment la propriété - La Fed de Minneapolis propose HPOP, une mesure centrée sur les personnes plutôt que sur les logements. Elle montre un taux de propriété plus bas, surtout chez les moins de 35 ans et dans les États où le logement est cher. Calcul incrémental pour applis réactives - Le calcul incrémental revient sur le devant de la scène avec une bibliothèque pensée pour mettre à jour des résultats sans tout recalculer. C’est important pour les interfaces réactives, les tableurs et les applications où les données changent souvent. DOOM sur un CPU maison - Une équipe de passionnés a réussi à faire tourner DOOM sur un processeur conçu de zéro. Au-delà du clin d’œil, le projet rappelle la difficulté réelle d’aligner architecture matérielle, mémoire, compilateur et logiciel. Compresser les modèles en trits - Une nouvelle méthode compacte pour stocker des trits améliore l’efficacité des modèles ternaires comme BitNet. L’intérêt est clair: moins de mémoire, décodage rapide et meilleures performances d’inférence sur CPU modernes. - Qwen Unveils Qwen-Image-3.0 for Realistic, High-Detail Image Generation - Minneapolis Fed proposes person-based homeownership measure - Jane Street Releases Incremental Computation Library - Why Chinese Open-Weight AI Models Matter - Kimi Launches Desktop AI Agent for Automated Knowledge Work - Jelly UI launches soft-body Web Components library - Arduino Adds New Modulino Boards for Scalable Sensors, Long Cables, and Motor Control - AI Systems Rapidly Find Formal Counterexamples in Mathematics - Team Runs DOOM on a Custom CPU and Goes Viral - Efficient 5-Trit Packing in 8-Bit Bytes Transcription de l'Episode IA ouverte et guerre des coûts On commence avec l’IA, mais sous un angle moins spectaculaire et plus économique. Plusieurs analyses estiment que le marché revient à des règles très classiques: les coûts d’inférence comptent, la puissance de calcul reste limitée, et la vraie bataille ne porte pas seulement sur l’accès aux modèles, mais sur le coût pour obtenir un résultat utile. En clair, un modèle ouvert n’est pas gratuit à exploiter, et deux systèmes qui donnent une réponse similaire ne consomment pas forcément les mêmes ressources. Ce qui inquiète certains laboratoires américains, c’est que la montée des modèles ouverts chinois puisse faire baisser les prix, accélérer la copie des capacités, et réduire l’idée qu’une poignée d’acteurs peut garder un avantage durable. Le sujet le plus sensible, lui, reste la cybersécurité: des modèles puissants et ouverts peuvent aider autant les défenseurs que les attaquants. L’IA entre en mathématiques Toujours sur l’IA, mais cette fois dans un domaine beaucoup plus inattendu: les mathématiques. Plusieurs billets racontent une série de contre-exemples trouvés avec l’aide de modèles de langage, puis vérifiés formellement avec Lean. Ce n’est pas juste une IA qui suggère une piste intéressante; on parle de résultats que l’on peut ensuite contrôler...
