AI et mathématiques

df

Bonjour,
dans la revue Nature (02 décembre 2021), un article explique comment l’intelligence artificielle devient un outil important pour guider l’intuition des mathématiciens.
L’IA détecte des formes dans une masse de données, des structures cachées dans des objets mathématiques, aide à l’établissement de nouvelles relations entre ces objets, teste des nouvelles conjectures, trouve des contre-exemples à d’autres, génère des solutions symboliques, accélère les calculs, etc…
Par exemple, on « entraîne » une fonction à prédire un comportement ou à trouver de nouvelles relations entre les invariants géométriques X(z) et les invariants algébriques Y(z) d’un nœud z. 

Domaines d’applications: topologie, théorie des représentations, polyèdres, nœuds hyperboliques, conjecture de Birch-Swinnerton-Dyer etc…
 Advancing mathematics by guiding human intuition with AI, Nature, vol.600 (accès libre)

Seirios

Et voici un rapport sur l'article, paru ce matin sur ArXiv, plutôt critique sur l'importance qu'on lui a donnée.