Chères et chers collègues, Créé en 2024 par les sociétés savantes SFdS, SMAI et SMF et le comité directeur de l'Epijournal de géométrie algébrique (EpiGA), le prix Jean-Pierre Demailly récompense un projet contribuant de manière significative à la science ouverte dans le domaine des mathématiques, que ce soit pour l’édition scientifique, la collaboration entre mathématicien-ne-s, ou les logiciels libres en mathématiques. Nous avons le plaisir d'annoncer que le prix Jean-Pierre Demailly 2026 a été attribué au projet Mathlib. Le jury du prix, qui souligne également la très grande diversité et qualité des candidatures, justifie ainsi son choix : Mathlib is widely recognized as an exceptional contribution to the mathematical community. It is seen as having an exceptionally broad structural significance for the future of mathematics. It is not only a resource of immediate value, but also an infrastructure with the potential to transform mathematical practice in a lasting way. The project plays a central role in the formalization and verification of mathematics. This aspect is of particular importance in the current scientific context, as formal proof verification, automated reasoning, and AI-assisted mathematical work are likely to play an increasingly significant role in the years ahead. Mathlib is also widely viewed as exemplary in its openness and collaborative organization. It lowers barriers to participation, enables contributions from a broad international community, and provides a framework in which mathematical knowledge can be verified, shared, preserved, and reused at large scale. For all these reasons, Mathlib is not merely a successful project within an existing category, but it is helping redefine the way mathematical knowledge may be produced, checked, and disseminated in the future.
Nous tenons également à adresser nos plus vifs remerciements aux coordinateurs de tous les projets nominés pour le prix, pour leur contribution très importante à la science ouverte et au partage des avancées scientifiques en mathématiques. Le comité d'organisation (Benoît Claudon, Isabelle Gallagher, Gianluca Pacienza, Jean Peyhardi et Amandine Véber) https://epiga.episciences.org/page/demailly-prize |