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
… 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
On est tellement un milieu de miséreux, on convoque 20 cadres A+ de la fonction publique pour une demi journée de réunion 9 fois sur 10 t'as même pas un thermos de café et une bouteille de cristalline dans la salle. Ne parlons pas de viennoiseries.
A dérouler. 👍⬇️⬇️⬇️
… ⁃ comment va-t-on convaincre les politiques de continuer à financer les postes de mathématiciens humains? ⁃ comment va-t-on les recruter, d'ailleurs? ⁃ et qui contrôle l'accès à ces IA? comment ne pas laisser le pouvoir sur les maths aux boîtes qui les développent? •42/59
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
… crues “nouvelles” n'étaient en fait pas nouvelles.) Donc là aussi on a un impact négatif important sur les maths: des preuves pondues par LLM effacent les contributions des mathématiciens humains dont elles reprennent les idées, ne respectant pas la déontologique du domaine. •40/59
Pour un développement très bien écrit des idées de ces ~6 derniers posts, je renvoie au texte de mon ancien collègue David Bessis, “The fall of the theorem economy” davidbessis.substack.com/p/the-fall-o... — avec lequel je suis globalement d'accord. •54/59