Il a démontré la conjecture de Catalan (Science et Vie, 2002)