Playlist Tech : les meilleurs podcasts technologie

On laisse enfoncé le bouton «Record» après l'enregistrement, on en fait une bande-annonce...

Pour commenter cette bande-annonce, donner votre avis ou simplement discuter avec notre communauté, connectez-vous au serveur Discord de Silence on joue!

Soutenez Silence on joue en vous abonnant à Libération avec notre offre spéciale à 6€ par mois : https://offre.liberation.fr/soj/

Retrouvez Silence on Joue sur Twitch : https://www.twitch.tv/liberationfr

Silence on joue ! C’est l’émission hebdo de jeux vidéo de Libération. Avec Erwan Cario et ses chroniqueur·euse·s Patrick Hellio et Corentin Benoit-Gonin.

CRÉDITS
Silence on joue ! est un podcast de Libération animé par Erwan Cario. Cette bande annonce a été enregistrée le 12 novembre 2026 sur Discord. Réalisation : Erwan Cario. Générique : Marc Quatrociocchi.
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Quatre semaines pour réaliser un travail de vérification informatique qui aurait auparavant mobilisé des spécialistes pendant plusieurs années. C'est la performance annoncée par Google DeepMind, qui vient d'utiliser l'intelligence artificielle pour démontrer mathématiquement certaines garanties de sécurité du système de chiffrement de Signal, l'une des messageries les plus réputées pour la confidentialité de ses échanges. Le 10 novembre, les chercheurs de Google ont présenté AlphaProof Code, un nouvel outil qui utilise plusieurs agents d'intelligence artificielle pour analyser des logiciels et construire des preuves mathématiques de leur bon fonctionnement.
Pour comprendre l'intérêt de cette approche, il faut distinguer deux manières de vérifier un programme. Habituellement, les spécialistes cherchent des bugs en multipliant les tests et les simulations d'attaques. Mais même après des millions d'essais réussis, rien ne garantit qu'une situation particulière ne provoquera pas une faille. La vérification formelle fonctionne autrement. Elle consiste à définir précisément les propriétés que le programme doit respecter, puis à démontrer mathématiquement qu'il les respecte dans les conditions étudiées. Cette technique existe depuis longtemps, mais elle demande énormément de travail. Google a donc confié une partie de cette tâche à des agents IA, sous la supervision de chercheurs humains. Leur terrain d'expérimentation était particulièrement ambitieux : le protocole Signal, également utilisé sous différentes formes dans WhatsApp et Google Messages. Les chercheurs ont analysé une partie de son code jusqu'au niveau des instructions réellement exécutées par les processeurs. L'objectif était notamment de vérifier que certains mécanismes protégeaient les conversations, même lorsque des clés de chiffrement étaient compromises.

L'IA a produit environ six millions et demi de lignes de démonstrations, ensuite vérifiées par Lean, un logiciel spécialisé dans le contrôle des preuves mathématiques. Pour tester leur méthode, les chercheurs ont également réintroduit deux anciennes vulnérabilités de Signal, corrigées depuis. Le système a correctement démontré que les versions modifiées ne respectaient plus les garanties étudiées. Mais attention : cela ne signifie pas que Signal est désormais impossible à pirater. L'expérience ne couvre ni l'application complète, ni les conversations de groupe, ni toutes les situations impliquant plusieurs appareils. Certaines fonctions cryptographiques sont également considérées comme sûres sans avoir été entièrement vérifiées.

L'intérêt se situe donc ailleurs. Si cette méthode peut être étendue, les développeurs pourraient demain accompagner certaines parties de leurs logiciels de preuves mathématiques, plutôt que de dépendre uniquement des tests classiques. Google a publié les résultats et les démonstrations pour permettre à d'autres chercheurs de les examiner. Le coût de cette expérience n'a cependant pas été communiqué.

Source : Google Deepmind
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Construire des digues pour protéger les villes contre les inondations, adapter les cultures aux sécheresses ou renforcer les bâtiments face aux cyclones : ces travaux deviennent indispensables dans de nombreuses régions du monde. Mais selon les Nations unies, les pays les plus vulnérables ne reçoivent aujourd'hui qu'environ un dixième de l'argent dont ils auront besoin pour s'adapter au changement climatique.

Le 4 novembre, le Programme des Nations unies pour l'environnement a publié son rapport annuel sur le financement de l'adaptation. Son constat est préoccupant : les pays en développement auront besoin d'environ 305 milliards de dollars chaque année d'ici 2035, alors que les financements publics internationaux atteignaient seulement une trentaine de milliards en 2024. Et leur progression ralentit. Entre 2023 et 2024, les contributions des pays riches n'ont augmenté que d'environ un milliard de dollars.

Pour comprendre cette situation, il faut distinguer deux volets de la politique climatique. Le premier consiste à réduire les émissions de gaz à effet de serre, par exemple en développant les énergies renouvelables ou en améliorant l'efficacité énergétique. Le second, l'adaptation, vise à limiter les conséquences d'un réchauffement déjà engagé. Dans les régions agricoles, cela peut signifier construire des réserves d'eau ou planter des variétés capables de résister à des températures plus élevées. Dans les zones côtières, il faut parfois renforcer les protections contre la montée des eaux. Et dans les villes, adapter les bâtiments permet de réduire les risques sanitaires liés aux vagues de chaleur.

Ces investissements coûtent cher, mais ils peuvent éviter des dommages bien plus importants. Le problème est particulièrement aigu pour les pays les moins développés, qui disposent de ressources financières limitées et sont souvent fortement exposés aux catastrophes climatiques. Une partie de l'aide internationale prend d'ailleurs la forme de prêts. Les pays bénéficiaires doivent donc rembourser l'argent utilisé pour se protéger, ce qui peut aggraver leur endettement. Lors de la COP30, organisée au Brésil en 2025, les gouvernements avaient affiché l'ambition de tripler les financements consacrés à l'adaptation d'ici 2035.

Mais le nouveau rapport de l'ONU révèle que même cet objectif serait insuffisant. Une fois l'inflation prise en compte, les sommes promises ne couvriraient qu'environ 20 à 29 % des besoins estimés. Le financement de l'adaptation figure donc parmi les sujets importants de la COP31, qui se déroule actuellement à Antalya, en Turquie, jusqu'au 20 novembre. La difficulté dépasse les seuls engagements financiers. Il faut aussi garantir que les fonds arrivent effectivement aux territoires concernés et puissent être utilisés rapidement.

Source : AFP
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Cet épisode est sponsorisé par Ranstad.

L'IA est aussi en train de transformer la recherche d'emploi. Des annonces aux candidatures et à la sélection, on parle des conséquences, des erreurs et des solutions du domaine avec Gilles.

---

(Sponso) L'impact de l'IA sur le recrutement – RDV Tech
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Polymarket, la plateforme où l'on peut parier sur à peu près tout, d'une démission à la météo du lendemain, a la réputation de savoir prédire l'avenir. Elle est aussi devenue un terrain de jeu pour les fraudeurs, qui financent leurs propres sondages ou exploitent des informations confidentielles pour remporter leurs paris. Nicolas Vaiman explique comment l'analyse de la blockchain permet de cartographier ces comportements suspects et de démasquer initiés et tricheurs.
Sources
Bubblemaps
En plateau
Michaël de Marliave — animateur
Matthieu Lambda — chroniqueur
Nicolas Vaiman — invité
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.