Résultats de recherche

Résumé La preuve assistée par ordinateur séduit un public de plus en plus large. Jusque-là surreprésentée dans le domaine de l'informatique où elle était née, elle a commencé à susciter chez les mathématiciens un engouement certain. Néanmoins, cet appel …

Résumé Comme c'est le cas dans la littérature, l'ajout d'un concept mathématique à un corpus de bibliothèques formelles donne typiquement lieu à plusieurs variantes de définitions, le plus souvent équivalentes mais pas toujours. Malheureusement, la …

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é Je ferai le point sur un travail de formalisation de la théorie des puissances divisées que je mène avec María-Inés de Frutos Fernández. Découvert par Cartan dans un contexte de topologie algébrique, cet outil algébrique a été développé dans les …

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 …

Ce colloque se propose d’explorer un dialogue essentiel entre deux traditions majeures de la pensée politique contemporaine : le socialisme et l’égalitarisme libéral. Toutes deux visent à réduire les inégalités et à promouvoir la justice sociale, mais …

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é 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é 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 …

Exceptionnellement le cours aura lieu le lundi de 9h30 à 11h. …

Exceptionnellement le séminaire aura lieu le lundi de 11h30 à 12h30. …

Résumé Face à un diagnostic écologique alarmiste, il est urgent de faire évoluer nos modes de fonctionnement et de production vers une croissance mutuelle et harmonieuse de l’économie et des écosystèmes naturels. Nous montrerons comment des solutions …

Résumé Ce cours introduira le concept de contributions de la nature aux populations humaines, ou services écosystémiques. Il montrera comment les approches d’écologie fonctionnelle permettent de quantifier les services écosystémiques sur la base de la …