Mathlib awarded the 2026 Jean-Pierre Demailly Prize

Mathlib, the collaborative library of formalized mathematics in Lean for which Matthew Ballard serves as a maintainer, was awarded the 2026 Jean-Pierre Demailly Prize for Open Science in Mathematics. The international biennial prize recognizes projects contributing to open science through scientific publishing, mathematical collaboration, or free mathematical software.

The jury highlighted Mathlib’s broad significance for the future of mathematics, its central role in formalization and verification, and its open and collaborative model for creating, checking, preserving, and reusing mathematical knowledge at scale.