J'imagine que vous avez été aussi déçus que moi en apprenant que la preuve de Vinay Deolalikar ne tenait pas, pour quelques bêtes histoires de tuples ou de mauvais choix de la phase difficile du problème SAT. Trouvant les mathématiques définitivement trop rigides, je vous invite à participer à un grand jeu de commentaires ! L'idée est simple : en quelques lignes, prouvez que P est différent de NP (ou, pour les plus téméraires, que P = NP, personnellement j'y crois encore). Ne vous embêtez pas avec les théories mathématiques sous-jacentes (elles sont d'une simplicité infantile), lâchez-vous, c'est la grande promo des preuves : toute démonstration est acceptée dès lors qu'elle se termine par "donc P est différent de NP" (ou P égale NP).
Pour ceux qui veulent casser ma belle preuve, je vous concède que la troisième ligne n'est pas très bien démontrée. Pour la première, c'est un résultat assez récent, auquel j'ai soustrait un "s" par soucis d'incorrection.
