AI et mathématiques
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)
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)
Réponses
-
Et voici un rapport sur l'article, paru ce matin sur ArXiv, plutôt critique sur l'importance qu'on lui a donnée.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 65 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres