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

Energies, matières premières : une histoire sans transition / Jean-Baptiste Fressoz | Fressoz, Jean-Baptiste

Energies, matières premières : une histoire s...

Article | Fressoz, Jean-Baptiste | 2022

Omniprésente dans les discours, la transition est absente dans l'histoire matérielle de l'humanité.

De quoi l'anthropocène est-il le nom ? / Luc Semal | Semal, Luc (1982-....)

De quoi l'anthropocène est-il le nom ? / Luc ...

Article | Semal, Luc (1982-....) | 2022

Il ne fait aucun doute que les changements globaux intenses que connaît la Terre sont dus aux activités humaines. Mais le mot choisi pour les décrire porte plusieurs ambiguïtés scientifiques et politiques...

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

La Microfluidique infiltre les géosciences / Cyprien Soulaine | Soulaine, Cyprien

La Microfluidique infiltre les géosciences / ...

Article | Soulaine, Cyprien | 2022

Pour améliorer les procédés de décontamination des sols pollués, exploiter les sources géothermales ou stocker du dioxyde de carbone, il est crucial d'étudier la dynamique des fluides à l'échelle micrométrique dans les roches. Com...

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