Top 5 des avancées en recherche grâce à l'IA

Cette vidéo illustre cinq domaines où l'intelligence artificielle a produit des résultats concrets et vérifiables, allant du code à la biologie.

L'IA excelle à explorer de vastes espaces de solutions que les humains ne peuvent pas scanner manuellement. Elle identifie des failles de sécurité dans Firefox, propose des variantes d'algorithmes pour optimiser les puces de calcul, et aide à sélectionner des médicaments contre la fibrose hépatique. Dans les mathématiques, elle formalise des preuves complexes et améliore des bornes théoriques, même sans résoudre le problème principal.

Exemple : Pour l'hypothèse de Riemann, l'IA n'a pas prouvé que tous les zéros de la fonction sont sur une ligne spécifique. En revanche, en cherchant cette solution, elle a démontré qu'au moins 67,2 % de ces zéros y sont situés, améliorant ainsi la borne précédente de 41,6 %. Ce résultat, validé par des mathématiciens, montre que l'IA peut produire des avancées réelles même lors d'une tentative d'échec.