Résultats de recherche

Résumé Diagrammatic Monte Carlo (DiagMC) is a versatile numerical technique capable of solving strongly correlated fermion systems in a controlled and accurate way. The core idea behind the technique is to sum all connected Feynman diagrams in a …

Résumé The real-time dynamics of interacting quantum systems remains a major challenge in computational quantum physics. Surprisingly, high-order perturbative expansions have recently emerged as a promising approach to address this question, even in …

Résumé In this seminar, I will introduce the diagrammatic Monte Carlo method and discuss its application to the two-dimensional Hubbard model at finite temperature. The results obtained through this approach are controlled and, importantly, address the …

Two letters from and to Albrecht Goetze and an image of a bronze standard from Alaca Höyük found during the 1930s Silvia Alaura est invitée par l'assemblée du Collège de France sur proposition du Pr Dominique Charpin, chaire Civilisation mésopotamienne . …

Résumé Le processus décisionnel piloté par l’IA est souvent évalué à l’aune du jugement humain individuel – les algorithmes sont-ils plus rapides, plus justes ou moins biaisés que les humains ? Dans cet exposé, je remets en question ce cadre, en soutenant …

Résumé Il s’agira de réfléchir à l’opacité des modèles d’IA et à la manière dont les approches dites « explicables » (XAI), souvent post-hoc, pourraient être améliorées en déplaçant l’attention de l’explication causale vers l’explication par des …

Résumé L’explicabilité des intelligences artificielles (IA) est souvent présentée comme essentielle pour l’adoption de ces systèmes par les médecins. Toutefois, son approche habituelle présente deux limites : d’une part, l’absence d’ancrage dans des …

Naama Friedmann est invitée par l'assemblée du Collège de France, sur proposition des professeurs Stanislas Dehaene, chaire Psychologie cognitive expérimentale et Luigi Rizzi, chaire Linguistique générale . Elle intervient dans le cadre d'une série de …

Résumé Les applications récentes d’IA générative musicale peuvent désormais générer des morceaux de différents genres musicaux avec des niveaux d’expressivité inattendus. Une critique ancienne et courante de la musique générée par algorithme découle de …

Résumé Les IA génératives proposent aujourd’hui des productions textuelles, musicales ou picturales de teneur « artistique », dont les internautes comme les artistes professionnels font usage. Mais au-delà du nouvel outil qui s’offre ici, avec ses …

Résumé Que change l’IA à l'esthétique ? Cette communication s’intéressera aux conséquences des pratiques artistiques augmentées par l’IA sur notre rapport à l’art et sur sa philosophie, en les replaçant dans l’histoire de l’art moderne et de ses débats. …

Résumé Les questions épistémologiques classiques gravitant autour des notions de confiance, de dépendance et d’expertise dans l’acquisition de connaissances prennent aujourd’hui une nouvelle tournure avec l'émergence de ce que l’on appelle parfois des …

Résumé Après avoir présenté ce que j’appelle le cadre des « limites de la raison » et situé l’IA au-delà de la limite supérieure de la raison humaine, j’examinerai si les sorties verbales des systèmes d’IA peuvent être considérées comme une forme de …

Résumé Les IAs sont de plus en plus impliquées dans les processus de traitement de l’information à partir desquels nous élaborons nos croyances. Dans ces conditions, il est légitime de se demander dans quelles circonstances il est légitime de considérer …

Résumé Partant de l’idée qu’un glissement épistémologique depuis l’identification des causes vers des espaces de données massives saturées de corrélations fortes caractérise aussi bien la plupart des algorithmes qui enserrent notre vie – tels que les …

Résumé La logique des catégories supérieures (ou encore des ∞-catégories) est une variation de la théorie des types qui est homotopique par nature et dans laquelle la notion de catégorie est le concept primitif –   celui que l'on ne définit jamais   ! Une …

Résumé Les productions, notamment linguistiques, de certaines intelligences artificielles se rapprochent de plus en plus des productions humaines. Dans ce contexte, il semble souvent pertinent d’attribuer des états intentionnels à ces programmes. …

Résumé Dans cet exposé, nous discuterons de l’état actuel de la formalisation de la théorie des nombres moderne dans mathlib, la bibliothèque mathématique de Lean. Nous mettrons en avant les avancées récentes, les principaux défis qui ont été relevés, …

Résumé Les derniers progrès en date de l’IA générative reposent sur une technique appelée « Chain of Thought » (CoT), qui consiste à faire en sorte que la machine « réfléchisse » avant  de répondre. Il s’agit initialement d’une stratégie utilisée dans les …

Résumé Les grands modèles de langage (LLM) semblent capables de soutenir une discussion sur toutes sortes de sujets. Devant ce constat, trois réactions sont possibles. On peut attribuer aux LLM une forme d’intelligence, qui inclut une certaine …