Search results

La vidéo sera prochainement disponible. Abstract Medical research has revealed an increase in pediatric cancers in many countries. While some suggest that this increase is linked to improved monitoring of children and diagnosis of their state of health, …

Abstract The logic of higher categories (or ∞-categories) is a variation of type theory, which is homotopic in nature and in which the notion of category is the primitive concept - the one that is never defined! An adequate generalization of Voevodsky's …

Abstract In this talk, we will discuss the current state of the formalization of modern number theory in mathlib, the mathematical library of Lean. We will highlight recent advancements, key challenges that have been addressed, and the broader …

La vidéo sera prochainement disponible. Abstract Work-related accidents are a major public health issue, affecting mainly low-skilled workers. Their scale remains underestimated, despite the fact that working conditions are becoming increasingly …

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

Abstract Discussion of cultural, commercial and political relations between the Levant and Mesopotamia in the Ebla archive period (with Anatolia and Egypt in the background). Examination of the question of center and periphery. Abstract on the original …

Abstract AI-driven decision-making is often evaluated in terms of individual human judgment - are algorithms faster, fairer or less biased than humans? In this talk, I challenge this framework, arguing that the most appropriate class of comparison for …

Abstract The aim will be to reflect on the opacity of AI models and how so-called "explainable" approaches (XAI), often post-hoc, could be improved by shifting the focus from causal explanation to explanation by …

Abstract The explicability of artificial intelligence (AI) is often presented as essential for the adoption of these systems by physicians. However, its usual approach has two limitations: on the one hand, the lack of anchorage in concrete professional …

Abstract Recent applications of music-generating AI can now generate pieces of different musical genres with unexpected levels of expressiveness. An old and common criticism of algorithmically generated music stems from its supposed inability to express …

Abstract Generative AIs today offer textual, musical or pictorial productions of "artistic" content, which are used by Internet users and professional artists alike. But beyond the new tool on offer here, with its advantages, biases and risks, is there …

Abstract What does AI mean for aesthetics? This paper will look at the consequences of AI-enhanced artistic practices on our relationship to art and its philosophy, placing them in the history of modern art and its debates. It will also look at how art …

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

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 …

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 …

Résumé La conférence portera sur le milieu d'origine de Julius Oppert, ses modèles convertis ou non et son arrivée en France ou comment un professeur d'allemand de province devient le fondateur d'une nouvelle discipline. Elle tentera de montrer les enjeux …