FROM INTUITION TO RESEARCH
Trois niveaux de compréhension
01 · Comprendre le problème
Certaines énigmes deviennent très vite plus difficiles à mesure qu'elles grandissent. Une preuve produite par IA conteste cette idée.
02 · Comprendre la contribution
L'ETH exclut les algorithmes sous-exponentiels pour 3-SAT ; OpenAI annonce une réfutation formalisée en Lean.
03 · Contexte académique
Il s'agit précisément de temps d'exécution en 2^o(n) pour 3-SAT. Une réfutation bouleverserait des bornes conditionnelles, mais ne démontrerait pas P=NP.
Ce qui pourrait changer
Possibilité de revoir des résultats de complexité théorique.
Ce qui n'est PAS établi
Une analyse indépendante reste nécessaire.