Mathlib takes the 2026 Demailly Prize for Open Science
The citation calls the library "an exceptional contribution to the mathematical community" with "exceptionally broad structural significance" — infrastructure, not just a resource. The award was presented at the SMAI conference in early June. Mathlib now runs past 1.5 million lines.
Sources
Source 1 of 2
EPIGA — Demailly Prize
epiga.episciences.org
The citation calls the library "an exceptional contribution to the mathematical community" with "exceptionally broad structural significance" — infrastructure, not just a resource.
Open originalSummary
The award was presented at the SMAI conference in early June. Mathlib now runs past 1.5 million lines.
- 01EPIGA — Demailly Prize
- 02Université Paris-Saclay