Libres pensées d'un mathématicien ordinaire

J'ai écrit, il y a une dizaine d'années, avec Florent Malrieu, un livre intitulé Recueil de modèles aléatoires.

I have just moved the domain name chafai.net from Gandi to Scaleway.

Lean formal dependency graph I have just obtained an automatic Lean formalization of Theorem 1.9 in my most recent paper arXiv:2608.19358v2.

Frontiers in Random Matrix Theory and Applications (RMTA) - Tianyuan Mathematics Research Center, Kunming, August 17–21, 2026 I have spent a week at the Tianyuan Mathematics Research Center (TYMC), near Kunming, Yunnan Province, China, attending a very en…