Un modèle d’intelligence artificielle permet de réfuter certaines conjectures mathématiques
Par coyote, dimanche 4 juillet 2021 à 06:50 - Intelligence artificielle - #1870 - rss
En mathématiques, une conjecture est un résultat qui semble vrai, mais pour lequel aucune démonstration n’a été trouvée : c’est ce qui la diffère du théorème ou de la propriété qui peut être prouvé dans tous les cas où elle est applicable. Un postdoctorant de l’Université de Tel-Aviv, spécialisé dans le machine learning (ML) et les mathématiques, a développé un modèle ML capable de chercher des contre-exemples pouvant réfuter des conjectures avec l’aide de son équipe de chercheurs. Le système a déjà contredit cinq conjectures dans le domaine de l’analyse combinatoire et de la théorie des graphes.
Lire l'article de Zacharie Tazrout sur ActuIA
Commentaires
Aucun commentaire n'est possible sur ce blog.