Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'contre-exemples'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
L'intelligence artificielle à la rescousse / Fabien Aoustin in Tangente, 202 (novembre-décembre 2021)
[article]
Titre : L'intelligence artificielle à la rescousse Type de document : texte imprimé Auteurs : Fabien Aoustin, Auteur Année de publication : 2021 Article en page(s) : p. 34 Note générale : Fait partie du dossier : "Indispensables contre-exemples" Langues : Français (fre) Catégories : [RAMEAU] Graphes, Théorie des
[RAMEAU] Intelligence artificielle
[RAMEAU] Mathématiques -- Problèmes et exercicesMots-clés : contre-exemples conjecture Résumé : Le recours à l'outil informatique pour résoudre des problèmes mathématiques n'est pas nouveau. Adam Zsolt Wagner, de l'université de Tel Aviv (Israël), vient de montrer comment le recours à l'intelligence artificielle permet de trouver des contre-exemples à plusieurs conjectures jusque-là ouvertes. Une promesse pleine d'avenir ? Cycle : Généralités Permalink : http://www.galileonet.be/pmb/opac_css/index.php?lvl=notice_display&id=121335
in Tangente > 202 (novembre-décembre 2021) . - p. 34[article]