Informatique comme source de nouvelles mathématiques

L'informatique, tout comme la physique, devient de plus en plus une source de nouvelles mathématiques.

Aide à la démonstration : théorème des quatre couleurs, problème d'empilement des sphères de Kepler, classification des groupes finis simples.



Source de nouvelles conjectures : P = NP ?



L'ordinateur mathématicien ?