Flying Guibou
@flyingguibou.bsky.social
213 followers 277 following 2K posts
Doing some programming (#haskell, #nix, ..) from 🇷🇪, running or jumping from different objects with a parachute. Fighting discimination from my sofa.
Doing some programming (#haskell, #nix, ..) from 🇷🇪, running or jumping from different objects with a parachute. Fighting discimination from my sofa.
![Extraits: «
Je suis en tout cas tout à fait d'accord avec ce que tu écris (et ton mail montre que tu saisis très bien la situation). Je suis moi aussi persuadé que les boîtes d'IA ne sont pas préoccupées par la science (si elles l'étaient elles auraient donné plus de détails, par exemple sur l'ensemble des problèmes qu'elles ont essayé de résoudre, sur les moyens mis en œuvre, etc.). Elles veulent juste entraîner et vendre leurs modèles, elles ont choisi les maths comme terrain de guerre et d'entraînement, et ça cause énormément de mal à la science. Je rejette moi aussi l'idée que les maths deviennent une «espèce de math vibing, où il faut comprendre ce qu'un ordinateur a compilé, trituré et vomi dans un fichier» comme tu l'écris très bien.
[…]
Je ne sais pas comment ça va finir, donc je ne peux certainement rien te promettre. Mais je sais que «comprendre» est une activité humaine, que les ordinateurs ne peuvent pas faire à notre place (même s'ils résolvent les problèmes mieux que nous, ça ne sert à rien s'il n'y a pas des humains qui comprennent). Peut-être que la recherche mathématiques va tourner plus son intérêt vers la quête des questions intéressantes, ou des points de vue éclairants ou une exposition élégante (y compris au grand public), que la course aux réponses aux problèmes difficiles: c'est ce que j'espère.
[…]
Donc je ne peux pas te promettre sur ce qui arrivera demain. Manifestement tu as très bien compris les difficultés actuelles (mieux que certains de mes collègues chercheurs). Je comprends tout à fait si tu décides de quitter les maths pour un autre domaine après ce parcours recherche: c'est justement le rôle de cette formation de te permettre de décider ce que tu préfères et ce qui te semble le plus intéressant et utile. Mais ce que je peux dire avec certitude, c'est que si l'arrivée des IA dégoûte les étudiants prometteurs de faire des mathématiques, ce sera le pire mal qu'elles auront fait à cette science.
»](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:tnde52rcbqxotp7a2cl7bmxu/bafkreifr4vbasqzbzhtovquozd54r5b6ydn7qsqhm7xqreieqs2a6ft6bq)
