Le problème P = NP est le problème fondamental du calcul mathématique. À partir de quel moment, et sous quelles conditions, un énoncé difficile à démontrer et jugé très probable doit-il être adopté comme nouvel axiome ?
L'article d'Interstices : ICI

Les classes de complexité, l'article de techno-sciences : ICI