J'avoue n'avoir pas lu. Je crois que le "contributeur" est de bonne foi et croit réellement aider. Mais, comme j'ai tenté d'expliquer, en réalité ça n'aide pas du tout.
À la fin, je ne sais pas qu'en penser.
D'une part, je ne peux pas dire que je ne veux pas de preuves générées par IA, parce que moi-même j'utilise souvent chatGPT pour produire des démonstrations que je ne trouve pas sur internet.
Mais d'autre part, je veux que le contributeur me dise au moins "j'ai le niveau, je suis capable de comprendre la démonstration, je l'ai lue et elle est correcte".
Or j'ai du mal à croire qu'on puisse vraiment lire une démonstration et s'assurer qu'elle est correcte sans la re-rédiger soi-même.
Du coup je préfère quand même lire des textes rédigés par des humains.
# J'ai eu un problème similaire avec le Frido (livre de math)
Posté par LaurentClaessens (site web personnel) . En réponse au journal Recrudescence de contributions générées par IA. Évalué à 10.
le Frido est un livre de math libre que j'écris. Il y a beaucoup de choses, mais pas mal de théorèmes encore sans démonstration.
Il y a quelques semaines, quelqu'un m'a envoyé une "contribution" qui consiste à avoir copié-collé un énoncé sans démonstration dans Claude.
https://github.com/LaurentClaessens/mazhe/issues/269
La réponse de Claude est que l'énoncé était faux. Et effectivement, il était faux. Facile à vérifier, corrigé. Merci, une faute en moins :)
Ensuite, en l'espace de 2 heures, il m'a balancé les démonstrations de 4 théorème :
https://github.com/LaurentClaessens/mazhe/issues/271
https://github.com/LaurentClaessens/mazhe/issues/273
https://github.com/LaurentClaessens/mazhe/issues/272
https://github.com/LaurentClaessens/mazhe/issues/270
J'avoue n'avoir pas lu. Je crois que le "contributeur" est de bonne foi et croit réellement aider. Mais, comme j'ai tenté d'expliquer, en réalité ça n'aide pas du tout.
À la fin, je ne sais pas qu'en penser.
D'une part, je ne peux pas dire que je ne veux pas de preuves générées par IA, parce que moi-même j'utilise souvent chatGPT pour produire des démonstrations que je ne trouve pas sur internet.
Mais d'autre part, je veux que le contributeur me dise au moins "j'ai le niveau, je suis capable de comprendre la démonstration, je l'ai lue et elle est correcte".
Or j'ai du mal à croire qu'on puisse vraiment lire une démonstration et s'assurer qu'elle est correcte sans la re-rédiger soi-même.
Du coup je préfère quand même lire des textes rédigés par des humains.