L’IA peut-elle faire de la recherche en mathématiques ?

Les mathématiques jouent un rôle central dans l’IA. Conception de réseaux neuronaux et d’algorithmes, fonctions de perte, méthodes d’optimisation, mesures de précision, méthodes d’apprentissage, logique, statistiques, optimisation, modélisation, etc.

IA avec mathématiques = intelligence augmentée
IA sans mathématiques = idiotie artificielle

Le professeur Zung Nguyen présente un exposé sur la question de savoir si l’IA peut faire de la recherche mathématique. Il donne de nombreux exemples de mathématiques assistées par ordinateur et par l’IA, ainsi que les lacunes des systèmes d’IA actuels et des idées pour les améliorer.

Voir la video ici : Can AI do mathematical research? (youtube.com)
Lire plus ici : Can AI do Math Research ? (torus.ai)