OpenAI a publié des solutions à trois grands problèmes mathématiques, dont l'une constitue une réfutation alléguée de l'hypothèse du temps exponentiel (ETH), une hypothèse ancienne en informatique sur ce qui rend certains problèmes difficiles à calculer, selon TechCrunch. L'équipe de mathématiciens d'Anthropic a ensuite publié sa propre réfutation de l'ETH, après que le mathématicien d'Anthropic Levent Alpöge a suggéré que les solutions d'OpenAI s'appuyaient sur des travaux préexistants.
Cette affirmation intervient au cœur d'un débat délicat sur la manière dont les laboratoires d'IA de pointe doivent contribuer à la recherche fondamentale. Ryan Williams, professeur au MIT qui coordonne la réponse de la communauté informatique à cette découverte, a déclaré à TechCrunch qu'OpenAI lui avait demandé d'aider à interpréter le résultat aux côtés des chercheurs de l'UC San Diego Russell Impagliazzo et Ramamohan Paturi, les deux auteurs de l'ETH publiée en 1999.
L'enjeu dépasse les cercles universitaires. Si les affirmations des laboratoires d'IA se confirment, un algorithme amélioré pourrait affecter les systèmes cryptographiques qui protègent les communications quotidiennes, et pourrait contraindre les chercheurs à revoir une décennie de publications scientifiques fondées sur l'hypothèse ETH. Williams a indiqué que l'une des premières questions qu'il a posées à Dan Roberts, responsable scientifique d'OpenAI, était de savoir s'ils avaient vérifié si des systèmes cryptographiques étaient concernés.
Qu'est-ce que l'hypothèse du temps exponentiel ?
L'ETH appartient à une famille plus large de problèmes connus sous le nom de P versus NP, une question qui anime l'informatique depuis des décennies. En termes simples, les chercheurs veulent savoir si tout problème dont la solution peut être vérifiée rapidement peut aussi être résolu rapidement.
Le Sudoku en est un exemple courant. Une fois une solution remplie, sa vérification est rapide, mais trouver cette solution à partir de zéro peut prendre énormément de temps. La même dynamique sous-tend la cryptographie moderne : avec la bonne clé, un message codé s'ouvre facilement, mais casser un code efficace sans la clé prend trop de temps pour être pratique.
