Login
You're viewing the localization.cafe local feed.

Replies

  • Gwenaël Delavalg2laval@mamot.fr
    Oct 11, 2026, 10:36 AM

    @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 ?

    💬 1🔄 0⭐ 0
  • ⏚ Antoine Chambert-Loirantoinechambertloir@mathstodon.xyz
    Oct 11, 2026, 11:00 AM

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

    @kfort @frincon @pyviv

    💬 1🔄 0⭐ 0
  • ⏚ Antoine Chambert-Loirantoinechambertloir@mathstodon.xyz
    Oct 11, 2026, 11:04 AM

    @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…

    @kfort @frincon @pyviv

    💬 1🔄 0⭐ 0
  • 💬 0🔄 2⭐ 1