@kfort @pyviv @antoinechambertloir il y a clairement un trauma particulier dans le landernau mediatique et de politique de la recherche oui, la recherche en maths etant percue comme un trésor et une fierté nationales (un des rares domaines où la France punchait au-dessus de son PIB, ça et le fait d'avoir un porte-avion et la dissuasion nucléaire).
@frincon @kfort @pyviv @antoinechambertloir c'était aussi le cas de la génétique jusque dans les années 2000. Comme je le disais hier, d'autres domaines de recherche ont été passés au rouleau compresseur sans que ça émeuve grand monde (et même au contraire en fait, beaucoup de gens trouvent le nouveau paysage très cool).
@frincon @pyviv @antoinechambertloir Je pense surtout que c'est parce que les maths ne sont / n'étaient pas galvaudées comme la traduction. Quand j'étais traductrice, on me disait souvent qu'il suffisait d'embaucher un BTS en stage pour faire mon travail. Ca n'arrive pas en maths.
@antoinechambertloir @kfort @frincon @pyviv est-ce qu'on aurait pas un peu trop sacralisé/hiérarchisé dans nos pratiques professionnelles des pratiques que les llms font automatiquement maintenant alors que socialement ou humainement ce n'était pas forcément utile ?
Du type :
Savoir écrire des pavés de texte sans aucune faute d'orthographe/grammaticale
Faire des preuves mathématiques très compliquées mais formalisées et vérifiées automatiquement
Etc
Au détriment de tout le reste ?
@g2laval
Oui pour le « trop », mais je crois que ces pratiques sont importantes et contribuent à la formation de communautés scientifiques.
D'autre part, les fautes d'orthographe ou grammaticales peuvent être corrigées sans LLMs, avec des outils d'une intensité écologique bien plus faible.
Faire des preuves mathématiques compliquées, rigoureuses et quasi-formalisées, c'est la vie que la communauté mathématique s'est peu à peu collectivement choisie, et qu'individuellement nous avons choisi de rejoindre, comme voie d'accès à une meilleure compréhension d'un monde mathématique qui nous intrigue et nous émeut.
@g2laval
Ce que les LLMs font, et pour le moment pas si bien, c'est accélérer le rythme et diminuer notre effort (au détriment du reste de la planète, via son impact écologique, social, politique). Mais la volonté d'aller toujours plus vite était déjà centrale dans l'éthos professionnel de la communauté mathématique.
Il faut inventer des pratiques professionnelles qui soient respectueuses de la lenteur sans être une simple mise en retrait. Le mouvement Slow Science avait demandé cela il y a 10 ans. Sans autre chose qu'un succès d'estime. On a accéléré les appels à projets, les positions précaires, la course aux publications…
@antoinechambertloir @g2laval @kfort @frincon @pyviv Une analyse du "slow science" qui mérite une lecture:
"Slow science : l’appel de 2010 douze ans après" par Joël Candau.
@antoinechambertloir @frincon @pyviv Ben quand j'ai vu comment on était traitées et comment les informaticiens se la pétaient parce qu'ils arrivaient à écrire 2 lignes de Perl, je me suis dit que je pouvais peut-être y arriver. Après du chômage bien dur, à ne pas manger à tous les repas, t'es motivée pour refaire un Master, je te le dis.
@antoinechambertloir @frincon @pyviv Et la trad et la traduction automatique, c'est un lien fort. J'avais fait mon stage de DESS trad dans un labo de TA d'ailleurs.