Search results

Abstract Computer-aided proof is attracting an ever-wider audience. Hitherto over-represented in the field of computer science, where it was born, it has begun to arouse a certain enthusiasm among mathematicians. However, the two   communities do not …

Abstract As is the case in the literature, the addition of a mathematical concept to a corpus of formal libraries typically gives rise to several variants of definitions, most often equivalent but not always. Unfortunately, transposing the formal theorem …

Abstract The classic epistemological questions revolving around the notions of trust, dependence and expertise in the acquisition of knowledge are today taking on a new twist with the emergence of what are sometimes called "epistemic technologies" …

Abstract I'll report on a project I'm carrying out with María-Inés de Frutos Fernández to formalize the theory of divided powers. Discovered by Cartan in a context of algebraic topology, this algebraic tool was developed in the 1960s by Roby and is at the …

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 …

Abstract AIs are increasingly involved in the information processing processes from which we elaborate our beliefs. Under these conditions, it is legitimate to ask under what circumstances it is legitimate to consider that such processes are reliable and …

Abstract Starting from the idea that an epistemological shift from the identification of causes to spaces of massive data saturated with strong correlations characterizes both most of the algorithms encircling our lives - such as recommendation algorithms …

This symposium explores an essential dialogue between two major traditions of contemporary political thought : socialism and liberal egalitarianism. Both aim to reduce inequalities and promote social justice, but differ on the means and principles that …

Abstract The linguistic and other productions of certain artificial intelligences are becoming increasingly similar to human productions. In this context, it often seems appropriate to attribute intentional states to these programs. Nevertheless, such an …

Abstract The latest advances in generative AI are based on a technique called "Chain of Thought" (CoT), which involves making the machine "think" before responding. This was originally a strategy used in queries addressed to classic Large Language Models …

Abstract Large Language Models (LLMs) seem capable of sustaining discussion on all kinds of topics. There are three possible reactions to this observation. We can attribute to LLMs a form of intelligence, which includes a certain understanding of the …

Exceptionally, the lecture will take place on Mondays from 9.30am to 11am. …

Exceptionally, the seminar will take place on Monday from 11:30am to 12:30pm. …

Abstract Faced with an alarming ecological diagnosis, we urgently need to change our modes of operation and production towards mutual and harmonious growth of the economy and natural ecosystems. We show how solutions inspired by, or even based on, nature, …

Abstract This lecture will introduce the concept of nature's contributions to human populations, or ecosystem services. It will show how functional ecology approaches enable ecosystem services to be quantified on the basis of biodiversity. These …