Le problème est que les IA menacent les mathématiques et les mathématiciens de toutes sortes d'autres manières qu'en “résolvant” les maths: j'en ai évoqué certaines, mais la plus évidente est que les décideurs pourraient croire que les IA ont “résolu” les maths, donc pourquoi recruter? •58/59
A dérouler. 👍⬇️⬇️⬇️
Et le problème avec cette conception adversariale des maths comme une sorte de match où il faut résoudre les problèmes plus vite qu'un autre ou mieux qu'une machine, c'est que ça conduit à une approche totalement absurde de la discipline. •48/59
… qu'on a pas mal perdu le sens de notre mission, qui n'est pas de résoudre des problèmes, de trouver des démonstrations ou de pondre des théorèmes, mais d'éclairer notre compréhension du monde mathématique. •51/59
… On n'est pas dans une match «l'humain contre la machine», ça n'aurait vraiment aucun sens. Les maths sont l'exploration d'un univers (mental, ou dicté par une logique préexistante selon votre orientation philosophique). •47/59
C'est quasiment John Greer dans Person of Interest.
Plus le temps passe plus je trouve cette série pertinente. Lorsqu'elle est sortie, c'était juste une série de science fiction peu réaliste.