Le volume 5 des Éléments de mathématiques pour le XXIe siècle paraîtra début 2027. Il sera accompagné d’une formalisation avec l’assistant de preuves Agda.
Le processus d’élaboration en parallèle et d’allers-retours entre les deux s’est avéré plus long que prévu, et quelques semaines de travail supplémentaires sont nécessaires pour maintenir le même niveau de qualité que dans les volumes précédents.