Une Découverte Théorique Sans Impact Pratique Immédiat
Le 26 et 27 octobre, OpenAI et Anthropic ont révélé que leurs modèles d'intelligence artificielle avaient découvert un algorithme sous-exponentiel pour le problème 3-SAT, potentiellement réfutant l'hypothèse du temps exponentiel formulée en 1999 par Impagliazzo et Paturi. Cette annonce, bien que théoriquement significative, n'a pas de répercussions pratiques immédiates. En effet, l'algorithme ne surpasse la méthode de force brute qu'au-delà de 10^10000 variables, un seuil astronomique qui le rend inapplicable dans un contexte réel pour le moment.
Les Acteurs Clés et Leurs Rôles
- OpenAI : Acteur central de cette annonce, OpenAI a récemment signé un accord controversé avec l'armée américaine, ce qui pourrait influencer la perception de ses découvertes.
- Anthropic : Bien que touchée par une désignation de risque du Pentagone, Anthropic continue de se positionner comme un leader dans le domaine de l'IA.
- Impagliazzo et Paturi : Ces chercheurs, à l'origine de l'hypothèse du temps exponentiel, sont impliqués dans l'examen des preuves fournies par les IA.
- Williams : Un acteur majeur dans le secteur énergétique, Williams soutient l'IA par ses investissements, soulignant l'importance croissante de l'IA dans divers secteurs.
L'Importance de la Vérification et de la Prudence
La preuve de cette découverte a été formalisée à l'aide de l'assistant de preuve Lean, mais il est crucial de noter que la preuve d'Anthropic n'a pas encore été vérifiée par des humains. Un examen ouvert est en cours, dirigé par Impagliazzo, Paturi et Williams, pour évaluer ces résultats. Cependant, cet examen n'a pas de valeur de certification, ce qui souligne la nécessité d'une approche prudente et mesurée.