dimanche 4 juillet 2021
Un modèle d’intelligence artificielle permet de réfuter certaines conjectures mathématiques
Par coyote, dimanche 4 juillet 2021 à 06:50 - Intelligence artificielle
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
lu 649 fois