Philipe, vous en connaissez des algorithmes qui garantissent quelques choses ?

Moi aucun, et pourtant, j’ai longtemps enseigné l’algorithmique dans une école d’ingénieur.

Le seule chose que l’on peut dire c’est : « je n’ai pas trouvé de contre-exemple ». Et c’est déjà beaucoup que l’on arrive à le dire.

Si vous avez, ne serait-ce qu’une seule fois la capacité de faire une preuve formelle à propos d’un algorithme, je pense que vous êtes un candidats sérieux à la médaille Fields, mais je pense que, s’agissant de math appliquées, cela ne compte pas.