[article] 
inPour la science > HS 115 (01/05/2022) . - p. 76-83

Titre :	L'ordinateur sera-t-il un jour le boss des maths ?
Type de document :	texte imprimé
Auteurs :	Jean-Paul Delahaye
Année de publication :	2022
Article en page(s) :	p. 76-83
Langues :	Français (fre)
Mots-clés :	Démonstration assistée par ordinateur  Intelligence artificielle  Démonstration
Résumé :	Les intelligences artificielles seront-elles un jour capables de produire des théorèmes aussi intéressants que ceux des mathématiciens humains ? On en est encore loin, mais les choses avancent peu à peu.
Permalink :	./index.php?lvl=notice_display&id=102704

[article] L'ordinateur sera-t-il un jour le boss des maths ? [texte imprimé] / Jean-Paul Delahaye . - 2022 . - p. 76-83.
Langues : Français (fre)
in Pour la science > HS 115 (01/05/2022) . - p. 76-83

Mots-clés :	Démonstration assistée par ordinateur  Intelligence artificielle  Démonstration
Résumé :	Les intelligences artificielles seront-elles un jour capables de produire des théorèmes aussi intéressants que ceux des mathématiciens humains ? On en est encore loin, mais les choses avancent peu à peu.
Permalink :	./index.php?lvl=notice_display&id=102704