un théorème de maths formalisé par des agents pour 135 000 $, une faille PHP critique, et Anthropic dans la biotech

Épisode de Intelligence Artificielle Générale par AGI · 26 octobre 2026 · 8 min

Tout ce qui est sorti aujourd'hui dans l'IA en ~15 minutes. Pas de tutos, pas de hype. Faits, lancements, signaux faibles.

AU PROGRAMME :

• 1. Une équipe formalise en une semaine un théorème de maths réputé hors de portée, pour 135 000 dollars de calcul

• 2. Entraîner son propre agent : retours d'expérience d'entreprises industrielles sur le post-entraînement et l'apprentissage par renforcement

• 3. Une faille critique touchant toutes les versions de PHP signe la fin de l'Internet où chacun héberge son propre serveur

• 4. Les GLP-1 explosent aux États-Unis pendant que les géants de l'IA investissent la biotech

• 5. Les mathématiciens face à la preuve vérifiée par machine : le pari de Lean à l'ère des IA

• 6. Un nouveau modèle ouvert à 501 milliards de paramètres, dont 23 milliards actifs, vise le code et les agents

• 7. Un modèle chinois orienté exécution de tâches gagne six points sur un test d'automatisation

• 8. Fanatics utilise OpenAI pour composer des tenues complètes de supporters

À surveiller la semaine prochaine + signaux faibles en fin d'épisode.

#IA #AI #podcast #tech #actu #briefIA

Autres épisodes de « Intelligence Artificielle Générale »

À propos du podcast

Intelligence Artificielle Générale, c'est le brief quotidien IA pour ceux qui n'ont pas le temps de regarder 50 vidéos par jour. On surveille les meilleures chaînes de la planète — Anthropic, OpenAI, Google DeepMind, etc — pour t'extraire l'essentiel : nouveaux modèles (Claude, GPT-5, Gemini,…

Intelligence Artificielle Générale

Épisodes similaires

Tous les épisodes de Intelligence Artificielle Générale · Plus de podcasts Actualités