[article] 
inTangente (Paris) > 202 (11/2021)

Titre :	L'intelligence artificielle à la rescousse
Type de document :	texte imprimé
Auteurs :	Fabien Aoustin, Auteur
Editeur :	Archimède, 2021
Article :	p.34-36
Note générale :	Schémas.
Langues :	Français (fre)
Descripteurs :	démonstration mathématique / intelligence artificielle / théorie des graphes
Résumé :	Le point sur les contre-exemples concernant plusieurs conjectures découverts par le mathématicien Adam Zsolt Wagner ayant mobilisé l'intelligence artificielle pour ce faire, dans le domaine de la théorie des graphes en général et des graphes connexes en particulier.
Nature du document :	documentaire
Genre :	/ Article de périodique //Article de périodique

[article] L'intelligence artificielle à la rescousse [texte imprimé] / Fabien Aoustin, Auteur . - Archimède, 2021 . - p.34-36.
Schémas.
Langues : Français (fre)
in Tangente (Paris) > 202 (11/2021)

Descripteurs :	démonstration mathématique / intelligence artificielle / théorie des graphes
Résumé :	Le point sur les contre-exemples concernant plusieurs conjectures découverts par le mathématicien Adam Zsolt Wagner ayant mobilisé l'intelligence artificielle pour ce faire, dans le domaine de la théorie des graphes en général et des graphes connexes en particulier.
Nature du document :	documentaire
Genre :	/ Article de périodique //Article de périodique