Les Mathématiques face au défi des machines / Michael Harris

Article

Harris, Michael

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.

Voir le numéro de la revue «Pour la science, 535, 01/05/2022»

Autres articles du numéro «Pour la science»

Suggestions

De la même série

Les Mathématiques face au défi des machines / Michael Harris | Harris, Michael

Les Mathématiques face au défi des machines /...

Article | Harris, Michael | 2022

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 pl...

Voyage au bout de la table / Jean-Michel Courty | Courty, Jean-Michel

Voyage au bout de la table / Jean-Michel Cour...

Article | Courty, Jean-Michel | 2022

Au billard, le comportement de la bille varie selon qu'on la tape au centre, en dessous ou au-dessus. Comment dès lors s'assurer du meilleur effet ?

"L'archéologie préventive a émergé de l'indignation devant la destruction du patrimoine" / François Savatier | Savatier, François (1961-....)

"L'archéologie préventive a émergé de l'indig...

Article | Savatier, François (1961-....) | 2022

L'archéologie préventive est à l'origine de la majorité des découvertes sur le sol français. Ce succès tient notamment à la constitution, il y a vingt ans, de l'Institut national des recherches archéologiques préventives (Inrap). ...

Le Dingo, entre chien et loup / Pat Shipman | Shipman, Pat

Le Dingo, entre chien et loup / Pat Shipman

Article | Shipman, Pat | 2022

Ni tout à fait domestiques ni tout à fait sauvages, les dingos échappent à la classification zoologique.

Comment les perruches ont eu des -pseudo-dents / Hervé Le Guyader | Le Guyader, Hervé (1948-....)

Comment les perruches ont eu des -pseudo-dent...

Article | Le Guyader, Hervé (1948-....) | 2022

Si les oiseaux actuels n'ont plus de dents, certains ont des pseudodents, dont la recette de fabrication n'est pas si éloignée de celle de nos propres quenottes...

Chargement des enrichissements...