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
LEADER 00814nam a22001937a 4500
001 409994
008 220510s2022 xx |||| |||| 00| 0 ||| d
100 |a Harris, Michael E. 
245 1 4 |a Les mathématiciens face au défi des machines   |c Michael Harris. 
260 |c 2022. 
300 |a p. 26-34. 
520 |a 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. 
650 |a Mathématiques  |x Informatique 
650 |a Intelligence artificielle 
650 |a Articles de périodiques 
773 0 |w 151121  |t Pour la science  |x 0153-4092  |g No 535 
993 |a Article de revue 
994 |a PS 
997 |0 409994