Code, IA et Actus Tech : Votre Source d’Inspiration
Avec AlphaProof Code, Google DeepMind annonce une première : relier des garanties cryptographiques au code compilé de Signal grâce à des preuves vérifiées par Lean. Une avancée majeure, dont il faut comprendre les hypothèses et les limites.
Pour la première fois, l’IA prouve mathématiquement des garanties de sécurité du code de Signal Lire
Google DeepMind présente Gemini Robotics 2.5 avec un essai de préparation de pièces automobiles chez Mercedes-Benz. Un résultat prometteur qui pose la question de la fiabilité, de la supervision et du passage du pilote à l’exploitation.
Gemini Robotics 2.5 : l’IA de Google à l’épreuve de l’usine Lire
Avec Fable 5.2, Anthropic relève les performances de Claude sur les tâches techniques difficiles. Les scores publiés impressionnent, mais le coût, les réglages et les conditions d’accès restent déterminants.
Fable 5.2 : Claude frappe fort en code et en raisonnement Lire
Présenté par le MIT le 9 novembre, WorldParticle réutilise une architecture d’IA pour plusieurs familles de simulations physiques. Une avancée dont la portée mérite d’être précisée.
WorldParticle : l’IA rapproche les simulations de matériaux Lire
Une étude publiée dans Science explore l’apprentissage du langage à partir d’enregistrements du quotidien de huit enfants. La réécoute d’expériences récentes joue un rôle clé, mais le modèle reste loin d’un enfant qui comprend et parle.
Princeton : une IA apprend le langage en réécoutant Lire
Anthropic publie une étude sur les usages scientifiques de Claude. Derrière les promesses de découverte autonome, elle met en lumière le poids de l’analyse de données et de la rédaction.
Claude et la science : ce que font vraiment les chercheurs Lire
OpenAI fait évoluer son générateur d’images avec des GIF animés, deux modèles complémentaires et davantage de contrôle sur les retouches. Une nouveauté pensée pour les créateurs, avec des limites à connaître dans l’API.
Images 2.6 : OpenAI transforme vos idées en GIF animés Lire
GPT‑6 Cyber peut rechercher des failles et valider leur exploitation. OpenAI réserve son lancement à certains clients approuvés : l’accès à Daybreak Red ne suffit pas encore à lui seul.
GPT‑6 Cyber : pourquoi OpenAI en réserve l’accès Lire
Comment apprendre à une IA ce qu’est une image acceptable quand les humains hésitent eux-mêmes ? Agile Deliberation propose de clarifier les critères à partir de cas ambigus, avant de les appliquer automatiquement.
Agile Deliberation : Google explore les zones grises de l’IA Lire
FlashProve cherche à relier une réponse d’IA à un modèle précis par une preuve cryptographique. Ce prototype d’Anthropic ouvre une piste pour les audits, mais ses garanties dépendent du mode de vérification choisi.
FlashProve : Anthropic veut prouver l’origine des réponses IA Lire