OpenAI Claims It Just Did The Impossible

Des décennies durant, les informaticiens ont étudié des problèmes complexes, dont certains nécessitent des milliards d'années de calcul par force brute. L'hypothèse du temps exponentiel stipule que certains problèmes sont intrinsèquement difficiles et ne peuvent être résolus efficacement. Un exemple est le problème de satisfiabilité booléenne à trois variables (3-SAT), où l'ajout de variables complexifie exponentiellement la résolution. Jusqu'à récemment, on pensait que ces problèmes étaient insolubles de manière rapide. Cependant, OpenAI a publié une recherche affirmant avoir prouvé que l'hypothèse du temps exponentiel est fausse, démontrant qu'il est possible de dépasser cette barrière exponentielle. Cette percée, si elle est validée par la communauté scientifique, bouleverse les fondements de l'informatique théorique. La réduction de Karp montre que de nombreux problèmes d'optimisation pratiques, comme la planification d'itinéraires ou l'allocation de fréquences, peuvent être transformés en problèmes de type 3-SAT. Par conséquent, un algorithme capable de résoudre efficacement le 3-SAT pourrait résoudre tous ces problèmes connexes. Le plus remarquable est que le papier d'OpenAI ne se contente pas de prouver l'existence d'un tel algorithme, mais en fournit un concret, capable de trouver la solution et même de compter le nombre de solutions possibles. C'est un moment historique pour la science.