Les mathématiciens face au défi des machines

Enregistré dans:
Détails bibliographiques
Publié dans: Pour la science No 535
Auteur principal: Harris, Michael E.
Support: Article de revue
Publié: 2022.
Sujets:
Résumé: Des logiciels capables de vérifier des démonstrations très difficiles, des intelligences artificielles en mesure de formuler des conjectures... Des performances vertigineuses qui amènent les mathématiciens à s'interroger sur la place de l'humain dans leur discipline.
Lien: Dans: Pour la science
+ d'infos
Résumé:Des logiciels capables de vérifier des démonstrations très difficiles, des intelligences artificielles en mesure de formuler des conjectures... Des performances vertigineuses qui amènent les mathématiciens à s'interroger sur la place de l'humain dans leur discipline.
Description matérielle:p. 26-34.
ISSN:0153-4092