|
Prix Demailly 2026
Le jury et le comité d'organisation ont l'honneur d'annoncer que le prix Jean-Pierre Demailly 2026 a été attribué au projet
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.
Le prix sera remis lors d'une cérémonie dont la tenue sera annoncée ultérieurement.