L’article « Revelations : A Decidable Class of POMDP with Omega-Regular Objectives » a été primé par le « Outstanding Paper Award » à la conférence AAAI 2025, la plus prestigieuse conférence internationale en intelligence artificielle (https://aaai.org/). Cette récompense couronne le fruit d’un travail de recherche initié à Bordeaux, au sein de l’équipe Synthèse (https://synth.labri.fr/) du Laboratoire Bordelais de Recherche en Informatique (LaBRI), où travaillent quatre des auteurs : Marius Belly, Nathanaël Fijalkow, Hugo Gimbert et Pierre Vandenhove, en coopération avec des chercheurs à Paris (Florian Horn) et Anvers (Guillermo Pérez). (…)
Innovation Pédagogique et transition
Une initiative de l'Institut Mines-Télécom avec un réseau de partenaires
binaire
Articles de cet auteur (93)
-
Prendre des décisions optimales sans avoir toutes les cartes en main, 2/2 : la science des révélations
-
Comment fonctionne ChatGPT ? Décrypter son nom pour comprendre les modèles de langage
Comment fonctionne ChatGPT ? Décrypter son nom pour comprendre les modèles de langage
Frédéric Alexandre, Inria
On voit passer beaucoup d’avis sur ChatGPT, mais finalement, qu’en sait-on ? Juste que c’est un réseau de neurones artificiels avec des milliards de paramètres, capable de tenir une discussion de haut niveau, mais aussi de tomber dans des pièges grossiers tendus par des internautes facétieux. On nous parle beaucoup de lui mais on en sait finalement très peu sur son fonctionnement.
Je vous propose donc de présenter les mécanismes principaux sur lesquels ChatGPT repose et de montrer ainsi que, si le résultat est parfois (…) -
Science numérique et technologie pour tou·te·s ! Oui mais comment ?
Faire de la pub pour un Mooc à destination des profs de Sciences Numériques et Technologie dans un magazine grand public comme Binaire. Ils sont devenus fous chez Binaire ? Non ! D’abord, nous voulons vous sensibiliser à un problème qui nous obsède : quand on décide d’enseigner l’informatique massivement dans l’éducation nationale, comment fait-on pour former les enseignants déjà en poste ? Les MOOC peuvent aider. Ensuite, nous pensons que certains lecteurs de Binaire seront intéressés par ce MOOC sans pour autant avoir à enseigner. Tout le monde peut découvrir l’informatique, femme ou homme, jeune ou vieux. Si vous vous sentez (…)
-
À Framasoft, la priorité, c’est le changement de société
Angie Gaudion, chargée de relations publiques au sein de Framasoft, revient sur l’histoire de l’association, son financement, son évolution, leur positionnement dans l’écosystème numérique et, plus largement, le soutien apporté aux communs numériques. Cet articlea été publié le 21 octobre 2022 sur le site de cnnumerique.fr et est remis en partage ici, les en remerciant. Serge Abiteboul et Thierry Viéville.
Publié le 21 mars 2025 par binaire
Framasoft, qu’est-ce que c’est ?
Pour comprendre Framasoft, il faut s’intéresser à son histoire. Née en 2001, Framasoft était d’abord une sous-catégorie du site participatif Framanet, lequel (…) -
Formation à l’IA – épisode 3 : Class’Code / Inria IAI
Nous vous l’avions annoncé ici, Victor Storcha termine la série d’articles sur les initiatives de formation à l’intelligence artificielle (IA). Après « Elements Of AI« , et « Objectif IA« , il donne la parole à Frédéric Alexandre, Marie-Hélène Comte, Martine Courbin-Coulaud et Bastien Masse sur Class´Code IAI. Serge Abiteboul et Thierry Viéville.
La formation/certification à l’IA
Victor Storchan (VS) : Quelles ont été vos motivations initiales et vos objectifs pour l’élaboration de votre cours en ligne ?
L’équipe de Class´Code (CC) : Il s’agit d’offrir une initiation à l’Intelligence Artificielle via une formation citoyenne, (…) -
Éducation et la diversité de l’informatique à l’école
Télétravail, visioconférence, école à la maison, et classes virtuelles pendant le confinement. Nous avons tous eu besoin de faire appel aux outils numériques, avons-nous eu la culture nécessaire pour affronter la situation ? Quelle est la mission de l’école par rapport à l’informatique dans le monde d’aujourd’hui ?
-
Formation à l’IA – épisode 2 : Objectif IA
Nous vous l’avions annoncé ici, Victor Storchan- va nous présenter trois initiatives de formation à l’intelligence artificielle (IA). Après « Elements Of AI " , c’est au tour de Théophile Lenoir, Responsable du programme Numérique et Milo Rignell, Chargé de l’innovation à l’Institut Montaigne de nous parler d’Objectif IA. Serge Abiteboul et Thierry Viéville.
Un articlerepris du blog binaire, une publication sous licence par défaut CC by
La formation/certification à l’IA
Victor Storchan (VS) : Quelles ont été vos motivations initiales et vos objectifs pour l’élaboration de votre cours en ligne ?
Théophile Lenoir et Milo Rignell (…) -
L’Art de la Conception Électronique : Sûreté de fonctionnement, Fiabilité et Sécurité
La confiance et le numérique responsable reposent tout deux, entre autres, sur la nécessité de développer des systèmes fiables et sûrs. Cette exigence concerne à la fois la conception hardware (ex : IOT, robotique, cobotique) et celle du software (ex : IA, jumeaux numériques, modélisation numérique). A l’heure où les objets connectés font partie inhérente de nos quotidiens en tant que consommateurs lambda, industriels ou chercheurs, il semble important de questionner les concepts de fiabilité et sécurité dans la conception électronique des objets qui nous entourent. Sébastien SALAS, Chef de projet d’un pôle d’innovation digitale (DIH, (…)
-
ChatGPT et test de Turing inversé
Erwan Le Merrer, chercheur Inria, étudie le fonctionnement des plateformes du Web et analyse leurs comportements. Il préside le conseil scientifique de la Société informatique de France. Il nous propose une réflexion sur un sujet qui fait énormément parler aujourd’hui, ChatGPT et les modèles génératifs. Turing a proposé un test pour savoir si un humains pouvait distinguer des réponses émanant d’une intelligence artificielle de celles produites par d’autres humains. Erwan montre que dans une inversion étonnante, le test est aujourd’hui posé aux intelligences artificielles. Pierre Paradinas
ChatGPT et les autres modèles génératifs sont (…) -
Femmes et numérique au temps du coronavirus
À l’occasion de la Journée Internationale des Droits des Femmes, Anne-Marie Kermarrec retrouve binaire pour nous parler de difficultés rencontrées par les femmes au temps du Covid. La route est longue, on le savait, jusqu’à la vraie parité. On le vérifie. Serge Abiteboul et Pauline Bolignano
PS : binaire est fier de réaliser que nombre des chapitres du dernier livre d’Anne-Marie Kermarrec, ont été d’abord « testés » dans ses colonnes.
Le 8 mars dernier nous observions, encore d’un peu loin, avec une once, une once seulement, quels naïfs nous faisions, d’inquiétude les dégâts du coronavirus en Asie, lançant les paris sur l’éventualité (…)
