Yuki Nagai

l’annonce d’openAI sur la résolution de 3 verrous scientifiques majeurs marque un tournant brutal et honnêtement je suis souvent réservé avec ce genre d’annonce mais là autant voir dire que même moi je suis sur le cul hein je vous explique ça rapidement en gros, ils ont publie des preuves dans l analyse harmonique avec la conjecture de lissage local de sogge et la geometrie des ondes), la physique théorique avec l’existence de theories quantiques des champs en interaction avec jauge et fermions et la theorie de la complexité algorithmique mais la ou le sol a vraiment tremble a mes yeux c’est sur ce dernier point avec la refutation de l’hypothese du temps exponentiel (eth) pour comprendre le vertige il faut revenir aux fondamentaux et comprd’re que les problemes de classe P sont calculables en temps polynomial par une machine de turing deterministe alors que les problemes NP complets (comme 3-sat) semblaient condamnes a une explosion combinatoire exponentielle où le temps de calcul explose avec la taille des donnees ce que la preuve etablit via un algo deterministe sur les formules cnf c’est qu’on peut exactement compter les affectations satisfaisables en temps subexponentiel et espace polynomial, ruinant l’idee qu’il existe une barriere mathematique infranchissable et ouvrant un regime algorithmique intermediaire quasi-polynomial  O(n log n) tout a fait inattendu!!!! si je vous explique tout ça cnest aussi pour vous parler des implications industrielles de cette fissure dans le mur NP dur sont titanesques car en effondrant les tps de calcul sur la recherche operationnelle, on passe du tâtonnement heuristique a la resolution exacte pour le repliement des proteines en biophysique par ex, la verification formelle des puces de silicium sub-nanometriques, le controle magneto-hydrodynamique en tps reel des plasmas de fusion nucleaire dans les tokamaks (iter/spheromak) = ÉNORME CHALLENGE ou l’optimisation combinatoire instantanee des topologies de reseaux quantiques et tant d’autres sujets qui vont vous impactér dans votre vie de tous les jours et qui ont de quoi remettre en question toute votre vision du futur