Un chercheur ayant posé l'hypothèse du temps exponentiel et impliqué dans l'examen des preuves.
OpenAI et Anthropic annoncent une avancée théorique majeure avec un algorithme sous-exponentiel pour le problème 3-SAT. Bien que cette découverte ne présente pas de risques immédiats, elle soulève des questions cruciales sur l'avenir de l'informatique théorique.
