OpenAI et Anthropic disent avoir réfuté l'ETH, mais personne n'a encore validé la preuve
Deux laboratoires rivaux affirment, à quelques heures d’intervalle, que leurs systèmes d’IA ont trouvé un algorithme capable de résoudre 3-SAT en temps sous-exponentiel. Si ces résultats résistent à l’examen, une hypothèse utilisée depuis des décennies pour mesurer la difficulté de nombreux problèmes informatiques devra être réévaluée. Pour...