Énigme scientifique — choix du 29 septembre 2026.
P contre NP — une preuve peut-elle être reconnue plus vite qu'elle n'est trouvée ?
Le problème P contre NP demande si tout énoncé dont on peut vérifier rapidement la preuve peut aussi être résolu rapidement. Il est ouvert depuis 1971 et résiste aux meilleurs spécialistes.
Textes sources
Pour une maïeutique de l'intelligence artificielle
Le texte où la machine qui aide à penser est interrogée : qu'est-ce qu'une machine qui prouve ?
Avion : compilation du savoir
La compilation comme geste : rassembler le savoir n'est pas le produire — la distinction est au cœur de P contre NP.
Les textes eux-mêmes, avec leur relevé
Les textes du répertoire correspondant à cette énigme, reproduits sans toucher à leur formatage, chacun suivi de son relevé automatique — hypothèses à éprouver, non interprétations.
Chargement des textes…
Photographies liées
Enseignes-pilier
Le pilier qui porte des signes : la structure qui vérifie sans chercher — image à éprouver.
Voir les photographies et leurs analyses dans la page Photos.
Analyses déjà consignées
Page Trois modèles
La contrainte oulipienne comme problème facile à vérifier, difficile à résoudre.
Protocole 1 — la preuve de la méthode
Le corpus témoin : vérifier que les grilles ne trouvent pas tout partout.
Analyse — hypothèses à éprouver
Hypothèse de lecture : la maïeutique décrite dans le répertoire est exactement la position du vérificateur — elle accouche les esprits sans prétendre engendrer elle-même la vérité. C'est la position NP : vérifier, non trouver.
Le geste de compilation d'« Avion » pose la même distinction à l'échelle d'une vie : le savoir rassemblé est vérifiable ; le savoir produit exige le chemin. À éprouver contre le texte, passage par passage.
Rapprochement avec la méthode des trois modèles : la contrainte oulipienne est un problème dont la solution est facile à vérifier (la contrainte est respectée ou non) et parfois très difficile à trouver. L'Oulipo vivrait dans NP.
Pistes
- Lire une synthèse datée du problème (les ouvrages de référence sont à citer précisément avant tout usage).
- Écrire le problème comme un conte à la Saramago : le douanier qui vérifie sans chercher.
- Définir une contribution modeste et vérifiable — une exposition claire, un exemple travaillé — plutôt qu'une annonce de solution.
À vous demander : Quelle place voulez-vous donner à cette énigme : conte, essai, ou programme de lecture ?
← Toutes les énigmes · Index des analyses · Dossiers de preuves