Non c'est le même, en utilisant le modèle tu valide son entrainement;
Je me permet d'ajouter une nuance (qui était dans mon point de départ) : il est certain que l'utilisation PAYANTE valide l’entraînement.
Mais pour moi c'est pas clair que l'utilisation de la partie gratuite avec aucune intention de payer valide l'entraînement.
Exception 1
Si il y a une mécanique qui fait que :
si JE l'utilise, je crée de la pression sociale pour que LES AUTRES l'utilisent
les autres sont dans une situations qui les empêche d'utiliser la version gratuite.
Un cas de ce type serait un étudiant qui a une version étudiante gratuite de Word et qui enverrait des fichiers doc à d'autres personnes qui n'ont pas d'offre gratuite.
J'ai un peu du mal à voir comment ce genre de mécanisme existe avec l'utilisation de l'IA.
Exception 2
Si c'est financé par de la pub et que je n'ai pas une raison très solide de croire que la pub n'a pas d'influence sur moi.
Je considère un utilisateur qui affiche la pub comme un utilisateur payant.
Je pense que c'est pareil pour l'IA. Les requêtes gratuites font gonfler les stats, permettent la valorisation en bourse,
Ce qui est certain, c'est qu'une utilisation SANS PAYER de l'IA fait gonfler la bulle sans augmenter la valeur réelle.
Est-ce vraiment un problème ? Si des spéculateurs veulent perdre de l'argent pour me fournir les démonstrations de math qu'il me manque, c'est sympa de leur part.
légitiment l'usage et favorisent l'intégration de cette technologie dans notre quotidien.
Avec la façon dont je l'utilise pour le Frido, je suis tranquille avec ça.
Avec cette nouvelle écrire avec IA, tu as probablement raison.
Je ne crois pas que je recommencerai ce genre d'expérience, mais il y a une vérité dans le fait que j'encourage le monde à essayer.
Mais franchement, qui va payer pour ce type d'utilisation ?
Vu que je ne paye pas pour chatGPT et que je m'engage à ne ni pleurer ni payer si ça devenait payant, si tout le monde faisait comme moi, OpenAI aurait déjà fait faillite. Ok pour l'environnement de ce côté. (j'ai la même excuse pour youtube)
Vu que j'ai toujours tapé et publié sur internet mes notes de cours (ma thèse, mes cours de collège et d'univ), si tout le monde faisait comme moi, le Frido n'aurait pas besoin de chatGPT : tout serait facilement disponible sur internet.
De ce point de vue, chatGPT en réalité un moyen détourné d'accéder au contenu que les mathématiciens enferment dansdeslivresprivateurs.
Ce pourquoi c'est d'après moi juste ridicule d'utiliser un LLM pour commencer, puisque ce sera souvent faux, ou pire: ce sera faux mais aura l'air d'être vrai si on n'est pas extrêmement attentif (bien plus attentif qu'on ne devrait l'être si on devait tout écrire soi-même); et dans tous les cas, on perdra énormément de temps à arriver à l'une ou l'autre des conclusions possibles.
Dans le cas très particulier des démonstrations mathématique, les réponses de chatGPT ne sont pas souvent fausses. Par contre, c'est vrai que quand elle est fausse, c'est presque toujours subtil, et l'erreur ruine généralement l'ensemble de la preuve.
C'est pourquoi je préfère toujours trouver une démonstration dans un cours publié par un humain.
MAIS MAIS MAIS MAIS MAIS …
Aussi incroyable que cela puisse paraître, il y a des trucs en math qu'on ne trouve pas sur internet. Un des plus gros pavé généré par LLM dans le Frido est toute la partie pour démontrer le théorème de Cauchy-Lipsitz analytique. À ma connaissance, le seul endroit sur internet où on donne la définition d'une application analytique entre espaces de Banach est ce document.
Et ce n'est pas faute d'avoir demandé à des humains:
(zéro réponses, mais les commentaires m'ont convaincu de passer par l'holomorphie, et y'avait encore pas mal de boulot)
tu as déjà fait le premier pas vers la facilité, et c'est vraiment dommage étant donné ton niveau d'implication,
Demander à un LLM n'est pas la facilité. Les démonstrations données dans les cours publiés par les profs sont toujours plus faciles à exploiter que celles données par les LLM—il y a plusieurs raisons à cela, et le fait qu'il y ait moins d'erreurs n'en est pas la principale.
Si les mathématiciens passaient un peu moins de temps à écrire le millième livre "Introduction à l'algèbre linéaire" publié chez un éditeur privateur (qui imprimera 500 exemplaires avant de le remplacer par le livre suivant exactement identique), et un peu plus de temps à publier des notes de cours bien faites, je ne serais pas réduit à demander à des LLM.
En attendant je reprécise mon flux :
j'ai une preuve sur mon écran (pdf, blog, mathoverflow et LLM)
je rédige une preuve complète sur ma feuille de brouillon (à la main, au crayon)
je retranscrit la preuve en LaTeX.
Prétendre que ce flux génère plus d'erreurs en partant d'un LLM que d'ailleurs est une hypothèse possible, mais elle doit être vérifiée empiriquement.
Pour l'instant l'erratum ne contient pas de fautes générées par l'IA.
Si quelqu'un veut aider à prouver le point de la médiocrité des LLM, il suffit de chercher les preuves dont les références contiennent un de ces trois :
BIBooMistral
BIBChatGPT
BIBChatGPTDifficile
Et puis il faudra montrer que la densité de fautes parmi ces résultats est plus importante que parmi les autres.
Mode d'emploi: ag BIBChatGPT retourne des lignes comme:
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.
Alors moi je fais mon vélotaf et bien plus tous les jours.
Pour ce faire, j'ai acheté un truc dans une brocante à 20€ il y a 10 ans.
Sur 10 ans j'ai bien changé quelques freins et pédaliers; en tout j'ai probablement eu 200 euros de frais.
Donc j'en suis jamais à 1700 euros, et de très loin.
MAIS MAIS MAIS MAIS …
C'est probablement aussi pour ça que je râlais ici même en pestant que le vélo n'est pas prêt pour le desktop.
Bref, mon clou n'a pas coûté très cher, mais il est toujours en panne et y'a rien qui marche.
Je serais curieux de voir quel était le coût d'achat des vélos des gens qui peuvent dire «je vélotaf tous les jours et je fais un seul entretient par an, pas plus».
Après c'est peut-être moi qui suis maudit ou mon réparateur qui a flairé la vache à lait :)
J'ai un vélo à cardan et frein roller brake: je n'ai eu à faire qu'une seule opération d'entretien dessus depuis 3 ans (mettre de la graisse dans le frein).
Excuses moi de pousser un peu… mais…
Tu n'as jamais crevé en 3 ans ? Et jamais du régler ton casque ?
Cela dit, merci, je note cardan et roller brake pour mon prochain.
C'est intrinsèque à la techno non ? Qu'est-ce qui pourrait être amélioré ?
Des câbles de freins solides, qui se règlent sans tourne vis (un système de cran sans doute ?).
Des casques avec une seule lanière (ça existe mais c'est très rare)
Des plaquettes de freins solides qu'il ne faut pas changer toutes les deux secondes.
Un seul plateau de changement de vitesse (ça divise par deux les problèmes)
Des catadioptres qui ne cassent pas au bout d'une semaine.
Un mécanisme qui permet de changer la chambre à air facilement; genre une partie de la roue qui serait pliable … je ne veux pas savoir quoi, c'est pas mon métier. Mais quelque chose qui fait que retirer/remettre le pneu et la chambre à air soit facile. Et qu'après mes mains soient propres.
En fait c'est très simple : demandes-toi ce que madame Michu veut sur son ordinateur et que Linux ne pouvait pas offrir il y a 20 ans. Eh bien c'est ça que je veux avec mon vélo :)
Ça ne me parait pas la mort de faire une petite vérification une fois par an. Plus souvent ne devrait pas être nécessaire.
Là tu me rassures. C'est que le problème c'est moi.
Vraiment ? Tu vélotaf tous les jours, plus diverses ballades à vélo en famille, et tu ne dois toucher à de l'entretien qu'une fois par an ?
pourtant de nos jours un phare arrière sur 2 pile AAA tiens facilement 8 mois d'utilisation, visser sur le vélo, tu l'allume lorsque tu as besoin, faut pas oublier de l’éteindre :)
J'adore voir le verbe «visser» dans une phrase qui se veut rassurante sur la simplicité de quelque chose :)
Faisons une petite règle de trois. 8 mois pour UN phare. Dans ma famille nous sommes 5, donc (au moins) 10 phares. Ça fait donc un coup de tourne vis tous les 24 jours en moyenne RIEN QUE POUR LES PHARES, avec gestion des piles à acheter, recycler, … Après, il y a encore les freins, les dérailleurs, etc. Quant aux catadioptres obligatoires, ils sont tellement vite cassés, que c'est même pas la peine d'en parler.
Quand j'étais jeune, je faisais ça pour mon ordinateur. Je réinstallais ma Mandrake une fois par mois, et on n'hésitait pas à dire aux windoziens que défragmenter le disque tous les x jours est tout à fait normal.
Aujourd'hui on n'oserait pas dire à quelqu'un que pour la sécurité de son ordi, tous les 8 mois, il doit l'ouvrir et changer la pile de sa carte mère.
Dans un monde où on aurait travaillé sur la simplicité du vélo autant qu'on a travaillé sur la simplicité de l'informatique depuis 30 ans, j'accepte de faire un coup d’entretien par an maximum—tout compris jusqu'à ajuster les multiples lanières du casque.
Le reste, y compris l'entretien régulier, je confie le vélo et je le récupère quand c'est fini. Ça me parait plus sûr aussi.
On est bien d'accord, et c'est ce que je fais.
Mais justement, c'est pas normal qu'il y ait autant d'entretien régulier à faire, et ce n'est pas normal que ce soit compliqué au point de devoir faire appel à un professionnel aussi souvent. Même les casques sont compliqués à ajuster !
Et mon réparateur de vélos ne veut pas m'en donner un en prêt quand il garde le mien une semaine pour changer le dérailleur (pour les voitures, les assureurs le font!). Mon vélo est tellement souvent en réparation que j'en ai acheté un second, de réserve.
J'ai vraiment l'impression que les vélos sont dans la situation de l'informatique d'il y a 30 ans : les gens qui en ont sont des gens «qui s'y connaissent» et rien n'est fait pour simplifier l'installation, l'entretient, etc.
Et on commence à voir arriver sur les vélos des gens comme moi, des Michu du cyclisme, qui veulent l'utiliser tout le temps pour tout faire, mais qui ne veulent pas entendre parler d'un tourne-vis. Un peu comme l'informatique d'il y a 30 ans.
Bref. Ok je râle parce que j'ai eu la même semaine : un phare oublié à la maison, deux freins qui ne marchait plus et des moufles mouillées sur le trajet du matin qui n'ont pas eu le temps de sécher durant la journée (quant au dérailleur qui ne saute qu'une vitesse sur deux, j'ai renoncé il y a déjà longtemps).
J'en suis fort aise pour toi.
Mais moi je suis monsieur Michu du vélo : j'en fais plein, mais l'entretient m'ennuie au plus haut point; je ne veux même pas savoir ce qu'est un tourne vis.
Je pense que ton commentaire ressemble à s'y méprendre au bon vieux
« moi je suis sous Linux de puis 5 ans, je suis passé à Gnome parce que KDE est trop lourd, ma carte son n'a jamais eu de problèmes, plus personne n'envoie de docx—et d'ailleurs LibreOffice les lit parfaitement bien ».
Moi tout ce que je veux, c'est un vélo dont je ne dois resserrer les freins qu'une fois par an (et sans tourne vis!) et qu'il arrête de pleuvoir parce que ça augmente la difficulté de gestion des vêtements de pluie qui sont dans la sacoche.
Personnellement le plus sécurisant, c'est de rouler sur les trottoirs, surtout la nuit (et je parle de trottoir déserts sans aucun piétons visible). les "pistes cyclables" qui empiètent entre la route et les zones de stationnement c'est pas vraiment sécurisant.
Je plussoie. LE critère de sécurité à vélo, c'est la distance avec les voitures. Personnellement, je suis opportuniste : site propre du bus, trottoir, traversée de pelouse dans des parcs, etc. Tout ce qui m'éloigne des voitures est bon à prendre (y compris les pistes cyclables, mais c'est rare).
La sécurité passe avant le code de la route.
pourtant ça coute entre 2 et 4 € la paire avec 1 led
C'est plus compliqué que ça. Scénario classique qui m'est encore arrivé cette semaine :
j'arrive chez moi, et mon phare est déchargé
je le branche la nuit sur l'ordi pour le recharger
le lendemain matin, il fait clair, je vais au taff à vélo, mais j'oublie le phare chez moi.
et donc le soir quand je reviens, il fait noir et je n'ai pas de phare.
Et je ne compte pas le nombre de fois que je n'ai pas eu de phares parce que je me le suis fait volé.
Alors bien sûr, on peut me répondre qu'il y a plein de solutions : il suffit de ceci et de cela. Mais entre les phares à recharger régulièrement, une accroche à cadenas à poser, les freins à resserer régulièrement, le changement de vitesse qui ne marche jamais plus de deux mois d'affilée, la gestion des vêtements de pluie, etc. …
OK, tu ranges la misogynie et la discrimination des femmes dans la catégorie "milliards de sujets ignorés". Es tu certain de vivre sur la planète Terre?
Littéralement "milliard", non ;)
Je rappelle cependant que mon message était une réaction au ton de la réponse de Voltairine et parlait spécifiquement de la question :
ce lieu commun que les «femmes se dévaloriseraient.» Est-ce bien avéré ?
Il me semble parfaitement légitime de vivre plusieurs dizaines d'années sans connaître la réponse à cette question. Cela ne signifie pas qu'on ignore complètement la discrimination des femmes. Cela signifie juste qu'on ne s'y intéresse pas assez de près pour aller à ce niveau de détail.
Même si connaître la réponse à cette question devrait être un bagage aussi évident pour tout le monde que 2+2=4, si quelqu'un pose la question, la bonne réaction est de répondre «bonne question! La réponse est XXXX, et voici quelque sources pour approfondir : […]», et garder pour soi la partie «non mais ne pas savoir ça c'est de l'ignorance crasse ».
Poser la question c'est faire preuve d'une grande ignorance ou d'une encore plus grande mauvaise foi.
Je déteste ce genre d'introductions à une réponse pour une question parfaitement légitime. Il y a des milliards de choses parfaitement documentées et que beaucoup de monde ignore.
On pourrait remplir des bibliothèques entières avec des choses "basiques" que j'ignore… et d'ailleurs c'est le cas.
Ce n'est pas parce que TU t'intéresse particulièrement à un sujet (et que donc tu connais les choses basiques sur le sujet) que tu dois croire que tout le monde sait les choses basiques sur le sujet.
Et non, le sujet qui t'intéresse TOI (ici, la misogynie) n'est pas spécialement un sujet qui intéresse tout le monde. Et non, le sujet qui t'intéresse TOI n'est pas tellement plus important que tous les autres sujets du monde, que tu serais en droit de supposer que c'est un sujet sur lequel tout le monde devrait savoir les bases.
Tout au contraire, tu devrais être content que quelqu'un qui, manifestement, ignore les bases d'un sujet qui te tient à cœur te pose une question pertinente; et saluer l'ouverture d'esprit.
Ce genre de problème ne devrait pas arriver si le maître de stage fait son boulot d'encadrant.
Je ne pourrais pas dire mieux.
De ce point de vue, le boulot de l'encadrant devrait être de fournir un document LaTeX avec l'entête déjà faite, prêt à l'emploi. Y'a plus qu'à taper le texte (qui est la partie importante).
La rédaction du rapport fait partie du stage.
À mon très humble avis, choisir les fontes, les tailles des caractères, les couleurs et ce genres de choses ne font pas partie de «la rédaction».
Encore une fois : même dans un bouquin non scientifique et complètement loufoque comme le guide du routard galactique, c'est un pur pavé de texte séparé par des chapitres. Pas d'effets particuliers.
Prends le guide du routard galactique ou un Zola, ouvre à une page au hasard, tu ne verras aucune différence visuelle.
Avec ça, les accents sont sur l'écran quand on affiche le pdf et arrivent correctement dans différents éditeurs quand je colle.
MAIS MAIS MAIS MAIS
Je viens de remarquer qu'avec cet ecm, pdflatex fonctionne aussi bien.
Il se passe quelque chose de plus subtil avec le Frido. Peut-être que je devrais virer inputenc et tout ça.
Faut voir ce que ça donne quand tu (clic droit & copies &) colles ailleurs que dans la barre d’adresse du navigateur, par exemple dans un éditeur de texte.
Je viens d'essayer, et ça laisse les accents; ce n'est donc à priori pas un artifice de la barre d'url de firefox.
Et même plus fort:
\url{https://fr.wikipedia.org/wiki/Idéal_premier%url=4}
Il se fait que j'ai sous la main un exemplaire du guide du routard galactique[1]. Ce n'est pas ennuyeux, mais en termes de mise en page c'est :
Chapitre 1
<pavé de texte>
<saut de deux lignes>
<pavé de texte>
Chapitre 2
<pavé de texte idem>
Pas de soulignage, pas de changement de police de caractère, pas d'enluminures, pas d'encadré, rien.
En fait il est très rare d'avoir réellement besoin d'être inventif sur la mise en page.
On devrait utiliser LaTeX pour pratiquement tout. Sauf cas spécifique; par exemple un guide touristique[2], un carton d'invitation, etc.
[1] le roman qui en parle, pas le guide lui-même.
[2] par exemple la version 2 du guide du routard galactique a des effets que LaTeX ne sait pas faire.
J'ai toujours trouvé Latex difficile à mettre en œuvre, et infernal dès qu'on sort des sentiers battus. C'est certainement utile pour les gens qui ont des besoins très spécifiques en mise en page ou autre, mais pas pour l'immense majorité.
Je ne pige pas. La première phrase contredit la seconde.
LaTeX est pratique quand reste dans sentiers battus ou quand on a un besoin très spécifique ?
Pour moi, LaTeX est bien quand on veut faire un texte structuré et qu'on on n'a surtout rien besoin de spécifique. Mise en page normale, tailles des titres normales, pas de fioritures. Listes énumérées avec juste des nombres, etc.
Tous les documents LaTeX se ressemblent, et c'est bien.
Le mémoire de fin d'étude est l'objet type qui devrait toujours être fait un LaTeX : chapitre, section, sous-section, table des matières. Le tout parfaitement standardisé, sans aucune touche personnelle dans la mise en page. Tout dans la sobriété.
C'est exactement ce que j'appelle "ne pas marcher".
Je veux écrire : Idéal_premier sans échapper quoi que ce soit. LuaLaTeX le fait.
Je suppose que LuaLaTeX a sous le capot une fonction \url qui fait de la manipulation de chaines de caractères qui transforme Idéal_premier en Id\%C3\%A9al\_premier avant de le repasser à LaTeX.
Avec LuaLaTeX,
\url{https://fr.wikipedia.org/wiki/Idéal_premier} afficher correctement l'url avec les accents et tout. Quand je mets ma souris sur le lien, l'apperçu du lien est avec les accents. Ensuite clic droit -> copier -> coller dans la barre d'url et hop je suis sur la bonne page, toujours avec les accents.
La magie est pyenv : ça compile la version que tu veux de python et la garde dans ~/.pyenv/versions/3.xx. Ensuite les venv font des liens de l’exécutable python3 vers celui qu'on veut.
Je tape de mémoire; il y a peut-être un ou deux chemins à adapter.
À faire dans la home:
Il existe tellement de choses à découvrir et à comprendre et apprendre que je ne vois pas de sens au "vide" de la musique générée.
J'aurais tendance à être d'accord avec toi sur à peu près tous les arts sauf la musique.
Beethoven n'a écrit que 5 concertos pour piano, et un seul pour violon.
Si on aime le style, finalement, ceux créés par IA font le taff.
Oui, certes, ils ne sont pas tous aussi géniaux que chaque note de Beethoven himself. Et je suis certain que quelqu'un qui connaît mieux la musique que moi pourrait écrire 5 pages sur ce qui ne va pas dans chacun des "nouveaux concerto pour piano".
Mais bon. Comme y'a à peu près rien qui me plaise après Beethoven et que je connais déjà par cœur ses 5 concertos pour piano et 9 symphonies, ben je préfère écouter du IA-Beethoven que du Schumann ou du Rachmaninov.
Après, il ne faut sans doute pas opposer si franchement la création IA de la création humaine.
Je serais très étonné que cette vidéo steam punk soit le fruit d'un prompt en deux lignes genre «écris une musique accompagnée d’animations steam punk». Je parierais qu'il y a quand même pas mal de travail humain dans ce mini film.
[^] # Re: 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é à 2 (+1/-1).
Je me permet d'ajouter une nuance (qui était dans mon point de départ) : il est certain que l'utilisation PAYANTE valide l’entraînement.
Mais pour moi c'est pas clair que l'utilisation de la partie gratuite avec aucune intention de payer valide l'entraînement.
Exception 1
Si il y a une mécanique qui fait que :
Un cas de ce type serait un étudiant qui a une version étudiante gratuite de Word et qui enverrait des fichiers doc à d'autres personnes qui n'ont pas d'offre gratuite.
J'ai un peu du mal à voir comment ce genre de mécanisme existe avec l'utilisation de l'IA.
Exception 2
Si c'est financé par de la pub et que je n'ai pas une raison très solide de croire que la pub n'a pas d'influence sur moi.
Je considère un utilisateur qui affiche la pub comme un utilisateur payant.
[^] # Re: 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é à 2 (+1/-1).
Ce qui est certain, c'est qu'une utilisation SANS PAYER de l'IA fait gonfler la bulle sans augmenter la valeur réelle.
Est-ce vraiment un problème ? Si des spéculateurs veulent perdre de l'argent pour me fournir les démonstrations de math qu'il me manque, c'est sympa de leur part.
Avec la façon dont je l'utilise pour le Frido, je suis tranquille avec ça.
Avec cette nouvelle écrire avec IA, tu as probablement raison.
Je ne crois pas que je recommencerai ce genre d'expérience, mais il y a une vérité dans le fait que j'encourage le monde à essayer.
Mais franchement, qui va payer pour ce type d'utilisation ?
[^] # Re: 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é à 4 (+2/-0).
Non, mais je veux bien voir un exemple.
[^] # Re: 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é à 3 (+2/-1).
Quelque réflexions à ce propos.
Je tente d'utiliser le critère de «qu'est-ce qui se passerait si tout le monde faisait comme moi?».
Vu que je ne paye pas pour chatGPT et que je m'engage à ne ni pleurer ni payer si ça devenait payant, si tout le monde faisait comme moi, OpenAI aurait déjà fait faillite. Ok pour l'environnement de ce côté. (j'ai la même excuse pour youtube)
Vu que j'ai toujours tapé et publié sur internet mes notes de cours (ma thèse, mes cours de collège et d'univ), si tout le monde faisait comme moi, le Frido n'aurait pas besoin de chatGPT : tout serait facilement disponible sur internet.
De ce point de vue, chatGPT en réalité un moyen détourné d'accéder au contenu que les mathématiciens enferment dans des livres privateurs.
[^] # Re: 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 (+15/-0).
Dans le cas très particulier des démonstrations mathématique, les réponses de chatGPT ne sont pas souvent fausses. Par contre, c'est vrai que quand elle est fausse, c'est presque toujours subtil, et l'erreur ruine généralement l'ensemble de la preuve.
C'est pourquoi je préfère toujours trouver une démonstration dans un cours publié par un humain.
MAIS MAIS MAIS MAIS MAIS …
Aussi incroyable que cela puisse paraître, il y a des trucs en math qu'on ne trouve pas sur internet. Un des plus gros pavé généré par LLM dans le Frido est toute la partie pour démontrer le théorème de Cauchy-Lipsitz analytique. À ma connaissance, le seul endroit sur internet où on donne la définition d'une application analytique entre espaces de Banach est ce document.
Et ce n'est pas faute d'avoir demandé à des humains:
https://math.stackexchange.com/questions/5113042/analytic-picard-lindel%c3%b6f-theorem
https://math.stackexchange.com/questions/5101596/analytic-picard-lindel%c3%b6f-theorem
(zéro réponses, mais les commentaires m'ont convaincu de passer par l'holomorphie, et y'avait encore pas mal de boulot)
Demander à un LLM n'est pas la facilité. Les démonstrations données dans les cours publiés par les profs sont toujours plus faciles à exploiter que celles données par les LLM—il y a plusieurs raisons à cela, et le fait qu'il y ait moins d'erreurs n'en est pas la principale.
Si les mathématiciens passaient un peu moins de temps à écrire le millième livre "Introduction à l'algèbre linéaire" publié chez un éditeur privateur (qui imprimera 500 exemplaires avant de le remplacer par le livre suivant exactement identique), et un peu plus de temps à publier des notes de cours bien faites, je ne serais pas réduit à demander à des LLM.
En attendant je reprécise mon flux :
Prétendre que ce flux génère plus d'erreurs en partant d'un LLM que d'ailleurs est une hypothèse possible, mais elle doit être vérifiée empiriquement.
Pour l'instant l'erratum ne contient pas de fautes générées par l'IA.
Si quelqu'un veut aider à prouver le point de la médiocrité des LLM, il suffit de chercher les preuves dont les références contiennent un de ces trois :
Et puis il faudra montrer que la densité de fautes parmi ces résultats est plus importante que parmi les autres.
Mode d'emploi:
ag BIBChatGPTretourne des lignes comme:Ensuite il suffit de faire une recherche du label (
PROPooYTMYooEYxuQc) dans le pdf pour trouver le résultat à vérifier.# 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 (+18/-0).
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.
[^] # Re: Ton vélo est de droite.
Posté par LaurentClaessens (site web personnel) . En réponse au journal Politique, vélo (et logiciels libre même combat ?).. Évalué à 3 (+1/-0).
Alors moi je fais mon vélotaf et bien plus tous les jours.
Pour ce faire, j'ai acheté un truc dans une brocante à 20€ il y a 10 ans.
Sur 10 ans j'ai bien changé quelques freins et pédaliers; en tout j'ai probablement eu 200 euros de frais.
Donc j'en suis jamais à 1700 euros, et de très loin.
MAIS MAIS MAIS MAIS …
C'est probablement aussi pour ça que je râlais ici même en pestant que le vélo n'est pas prêt pour le desktop.
Bref, mon clou n'a pas coûté très cher, mais il est toujours en panne et y'a rien qui marche.
Je serais curieux de voir quel était le coût d'achat des vélos des gens qui peuvent dire «je vélotaf tous les jours et je fais un seul entretient par an, pas plus».
Après c'est peut-être moi qui suis maudit ou mon réparateur qui a flairé la vache à lait :)
[^] # Re: Les cyclistes ont bon dos
Posté par LaurentClaessens (site web personnel) . En réponse au lien Le port du casque et de moyens réfléchissants obligatoire pour les cyclistes et les conducteurs de trottinettes à Aurillac. Évalué à 2 (+0/-0).
Excuses moi de pousser un peu… mais…
Tu n'as jamais crevé en 3 ans ? Et jamais du régler ton casque ?
Cela dit, merci, je note cardan et roller brake pour mon prochain.
[^] # Re: Les cyclistes ont bon dos
Posté par LaurentClaessens (site web personnel) . En réponse au lien Le port du casque et de moyens réfléchissants obligatoire pour les cyclistes et les conducteurs de trottinettes à Aurillac. Évalué à 3 (+2/-1).
Des câbles de freins solides, qui se règlent sans tourne vis (un système de cran sans doute ?).
Des casques avec une seule lanière (ça existe mais c'est très rare)
Des plaquettes de freins solides qu'il ne faut pas changer toutes les deux secondes.
Un seul plateau de changement de vitesse (ça divise par deux les problèmes)
Des catadioptres qui ne cassent pas au bout d'une semaine.
Un mécanisme qui permet de changer la chambre à air facilement; genre une partie de la roue qui serait pliable … je ne veux pas savoir quoi, c'est pas mon métier. Mais quelque chose qui fait que retirer/remettre le pneu et la chambre à air soit facile. Et qu'après mes mains soient propres.
En fait c'est très simple : demandes-toi ce que madame Michu veut sur son ordinateur et que Linux ne pouvait pas offrir il y a 20 ans. Eh bien c'est ça que je veux avec mon vélo :)
Là tu me rassures. C'est que le problème c'est moi.
Vraiment ? Tu vélotaf tous les jours, plus diverses ballades à vélo en famille, et tu ne dois toucher à de l'entretien qu'une fois par an ?
[^] # Re: Les cyclistes ont bon dos
Posté par LaurentClaessens (site web personnel) . En réponse au lien Le port du casque et de moyens réfléchissants obligatoire pour les cyclistes et les conducteurs de trottinettes à Aurillac. Évalué à -1 (+0/-3).
J'adore voir le verbe «visser» dans une phrase qui se veut rassurante sur la simplicité de quelque chose :)
Faisons une petite règle de trois. 8 mois pour UN phare. Dans ma famille nous sommes 5, donc (au moins) 10 phares. Ça fait donc un coup de tourne vis tous les 24 jours en moyenne RIEN QUE POUR LES PHARES, avec gestion des piles à acheter, recycler, … Après, il y a encore les freins, les dérailleurs, etc. Quant aux catadioptres obligatoires, ils sont tellement vite cassés, que c'est même pas la peine d'en parler.
Quand j'étais jeune, je faisais ça pour mon ordinateur. Je réinstallais ma Mandrake une fois par mois, et on n'hésitait pas à dire aux windoziens que défragmenter le disque tous les x jours est tout à fait normal.
Aujourd'hui on n'oserait pas dire à quelqu'un que pour la sécurité de son ordi, tous les 8 mois, il doit l'ouvrir et changer la pile de sa carte mère.
Dans un monde où on aurait travaillé sur la simplicité du vélo autant qu'on a travaillé sur la simplicité de l'informatique depuis 30 ans, j'accepte de faire un coup d’entretien par an maximum—tout compris jusqu'à ajuster les multiples lanières du casque.
[^] # Re: Les cyclistes ont bon dos
Posté par LaurentClaessens (site web personnel) . En réponse au lien Le port du casque et de moyens réfléchissants obligatoire pour les cyclistes et les conducteurs de trottinettes à Aurillac. Évalué à 4 (+2/-0).
On est bien d'accord, et c'est ce que je fais.
Mais justement, c'est pas normal qu'il y ait autant d'entretien régulier à faire, et ce n'est pas normal que ce soit compliqué au point de devoir faire appel à un professionnel aussi souvent. Même les casques sont compliqués à ajuster !
Et mon réparateur de vélos ne veut pas m'en donner un en prêt quand il garde le mien une semaine pour changer le dérailleur (pour les voitures, les assureurs le font!). Mon vélo est tellement souvent en réparation que j'en ai acheté un second, de réserve.
J'ai vraiment l'impression que les vélos sont dans la situation de l'informatique d'il y a 30 ans : les gens qui en ont sont des gens «qui s'y connaissent» et rien n'est fait pour simplifier l'installation, l'entretient, etc.
Et on commence à voir arriver sur les vélos des gens comme moi, des Michu du cyclisme, qui veulent l'utiliser tout le temps pour tout faire, mais qui ne veulent pas entendre parler d'un tourne-vis. Un peu comme l'informatique d'il y a 30 ans.
Bref. Ok je râle parce que j'ai eu la même semaine : un phare oublié à la maison, deux freins qui ne marchait plus et des moufles mouillées sur le trajet du matin qui n'ont pas eu le temps de sécher durant la journée (quant au dérailleur qui ne saute qu'une vitesse sur deux, j'ai renoncé il y a déjà longtemps).
[^] # Re: Les cyclistes ont bon dos
Posté par LaurentClaessens (site web personnel) . En réponse au lien Le port du casque et de moyens réfléchissants obligatoire pour les cyclistes et les conducteurs de trottinettes à Aurillac. Évalué à -1 (+2/-5).
J'en suis fort aise pour toi.
Mais moi je suis monsieur Michu du vélo : j'en fais plein, mais l'entretient m'ennuie au plus haut point; je ne veux même pas savoir ce qu'est un tourne vis.
Je pense que ton commentaire ressemble à s'y méprendre au bon vieux
« moi je suis sous Linux de puis 5 ans, je suis passé à Gnome parce que KDE est trop lourd, ma carte son n'a jamais eu de problèmes, plus personne n'envoie de docx—et d'ailleurs LibreOffice les lit parfaitement bien ».
Moi tout ce que je veux, c'est un vélo dont je ne dois resserrer les freins qu'une fois par an (et sans tourne vis!) et qu'il arrête de pleuvoir parce que ça augmente la difficulté de gestion des vêtements de pluie qui sont dans la sacoche.
[^] # Re: Ça me fait penser à …
Posté par LaurentClaessens (site web personnel) . En réponse au lien Le port du casque et de moyens réfléchissants obligatoire pour les cyclistes et les conducteurs de trottinettes à Aurillac. Évalué à 6 (+4/-0).
Je plussoie. LE critère de sécurité à vélo, c'est la distance avec les voitures. Personnellement, je suis opportuniste : site propre du bus, trottoir, traversée de pelouse dans des parcs, etc. Tout ce qui m'éloigne des voitures est bon à prendre (y compris les pistes cyclables, mais c'est rare).
La sécurité passe avant le code de la route.
[^] # Re: Les cyclistes ont bon dos
Posté par LaurentClaessens (site web personnel) . En réponse au lien Le port du casque et de moyens réfléchissants obligatoire pour les cyclistes et les conducteurs de trottinettes à Aurillac. Évalué à 6 (+5/-1).
C'est plus compliqué que ça. Scénario classique qui m'est encore arrivé cette semaine :
Et je ne compte pas le nombre de fois que je n'ai pas eu de phares parce que je me le suis fait volé.
Alors bien sûr, on peut me répondre qu'il y a plein de solutions : il suffit de ceci et de cela. Mais entre les phares à recharger régulièrement, une accroche à cadenas à poser, les freins à resserer régulièrement, le changement de vitesse qui ne marche jamais plus de deux mois d'affilée, la gestion des vêtements de pluie, etc. …
Le vélo n'est pas prêt pour le desktop.
[^] # Re: Contre information
Posté par LaurentClaessens (site web personnel) . En réponse au lien Plus de filles en filières scientifiques: "Non, les maths, ce n'est pas que pour les garçons" . Évalué à 3 (+4/-3). Dernière modification le 01 janvier 2026 à 22:21.
Littéralement "milliard", non ;)
Je rappelle cependant que mon message était une réaction au ton de la réponse de Voltairine et parlait spécifiquement de la question :
Il me semble parfaitement légitime de vivre plusieurs dizaines d'années sans connaître la réponse à cette question. Cela ne signifie pas qu'on ignore complètement la discrimination des femmes. Cela signifie juste qu'on ne s'y intéresse pas assez de près pour aller à ce niveau de détail.
Même si connaître la réponse à cette question devrait être un bagage aussi évident pour tout le monde que 2+2=4, si quelqu'un pose la question, la bonne réaction est de répondre «bonne question! La réponse est XXXX, et voici quelque sources pour approfondir : […]», et garder pour soi la partie «non mais ne pas savoir ça c'est de l'ignorance crasse ».
[^] # Re: Contre information
Posté par LaurentClaessens (site web personnel) . En réponse au lien Plus de filles en filières scientifiques: "Non, les maths, ce n'est pas que pour les garçons" . Évalué à 8 (+9/-3).
Je déteste ce genre d'introductions à une réponse pour une question parfaitement légitime. Il y a des milliards de choses parfaitement documentées et que beaucoup de monde ignore.
On pourrait remplir des bibliothèques entières avec des choses "basiques" que j'ignore… et d'ailleurs c'est le cas.
Ce n'est pas parce que TU t'intéresse particulièrement à un sujet (et que donc tu connais les choses basiques sur le sujet) que tu dois croire que tout le monde sait les choses basiques sur le sujet.
Et non, le sujet qui t'intéresse TOI (ici, la misogynie) n'est pas spécialement un sujet qui intéresse tout le monde. Et non, le sujet qui t'intéresse TOI n'est pas tellement plus important que tous les autres sujets du monde, que tu serais en droit de supposer que c'est un sujet sur lequel tout le monde devrait savoir les bases.
Tout au contraire, tu devrais être content que quelqu'un qui, manifestement, ignore les bases d'un sujet qui te tient à cœur te pose une question pertinente; et saluer l'ouverture d'esprit.
[^] # Re: Latex la galère
Posté par LaurentClaessens (site web personnel) . En réponse au journal pdfLaTeX, XeLaTeX et LuaLaTeX sont dans un bateau. Évalué à 4 (+3/-1).
Je ne pourrais pas dire mieux.
De ce point de vue, le boulot de l'encadrant devrait être de fournir un document LaTeX avec l'entête déjà faite, prêt à l'emploi. Y'a plus qu'à taper le texte (qui est la partie importante).
À mon très humble avis, choisir les fontes, les tailles des caractères, les couleurs et ce genres de choses ne font pas partie de «la rédaction».
Encore une fois : même dans un bouquin non scientifique et complètement loufoque comme le guide du routard galactique, c'est un pur pavé de texte séparé par des chapitres. Pas d'effets particuliers.
Prends le guide du routard galactique ou un Zola, ouvre à une page au hasard, tu ne verras aucune différence visuelle.
[^] # Re: je pensais que c’était su…
Posté par LaurentClaessens (site web personnel) . En réponse au journal pdfLaTeX, XeLaTeX et LuaLaTeX sont dans un bateau. Évalué à 2 (+0/-0).
C'est bien ça que j'ai fait. Clic-droit -> copier dans le pdf, puis coller dans nvim ou dans terminator.
ECM:
Compiler avec
lualatex ecm.texAvec ça, les accents sont sur l'écran quand on affiche le pdf et arrivent correctement dans différents éditeurs quand je colle.
MAIS MAIS MAIS MAIS
Je viens de remarquer qu'avec cet ecm,
pdflatexfonctionne aussi bien.Il se passe quelque chose de plus subtil avec le Frido. Peut-être que je devrais virer
inputencet tout ça.[^] # Re: je pensais que c’était su…
Posté par LaurentClaessens (site web personnel) . En réponse au journal pdfLaTeX, XeLaTeX et LuaLaTeX sont dans un bateau. Évalué à 2 (+0/-0).
Je viens d'essayer, et ça laisse les accents; ce n'est donc à priori pas un artifice de la barre d'url de firefox.
Et même plus fort:
\url{https://fr.wikipedia.org/wiki/Idéal_premier%url=4}
Le
%est traité comme le reste.C'est beau. Je suis content !
[^] # Re: Latex la galère
Posté par LaurentClaessens (site web personnel) . En réponse au journal pdfLaTeX, XeLaTeX et LuaLaTeX sont dans un bateau. Évalué à 2 (+0/-0).
Il se fait que j'ai sous la main un exemplaire du guide du routard galactique[1]. Ce n'est pas ennuyeux, mais en termes de mise en page c'est :
Pas de soulignage, pas de changement de police de caractère, pas d'enluminures, pas d'encadré, rien.
En fait il est très rare d'avoir réellement besoin d'être inventif sur la mise en page.
On devrait utiliser LaTeX pour pratiquement tout. Sauf cas spécifique; par exemple un guide touristique[2], un carton d'invitation, etc.
[1] le roman qui en parle, pas le guide lui-même.
[2] par exemple la version 2 du guide du routard galactique a des effets que LaTeX ne sait pas faire.
[^] # Re: Latex la galère
Posté par LaurentClaessens (site web personnel) . En réponse au journal pdfLaTeX, XeLaTeX et LuaLaTeX sont dans un bateau. Évalué à 5 (+4/-1).
Je ne pige pas. La première phrase contredit la seconde.
LaTeX est pratique quand reste dans sentiers battus ou quand on a un besoin très spécifique ?
Pour moi, LaTeX est bien quand on veut faire un texte structuré et qu'on on n'a surtout rien besoin de spécifique. Mise en page normale, tailles des titres normales, pas de fioritures. Listes énumérées avec juste des nombres, etc.
Tous les documents LaTeX se ressemblent, et c'est bien.
Le mémoire de fin d'étude est l'objet type qui devrait toujours être fait un LaTeX : chapitre, section, sous-section, table des matières. Le tout parfaitement standardisé, sans aucune touche personnelle dans la mise en page. Tout dans la sobriété.
[^] # Re: je pensais que c’était su…
Posté par LaurentClaessens (site web personnel) . En réponse au journal pdfLaTeX, XeLaTeX et LuaLaTeX sont dans un bateau. Évalué à 5 (+3/-0). Dernière modification le 15 décembre 2025 à 08:33.
C'est exactement ce que j'appelle "ne pas marcher".
Je veux écrire :
Idéal_premiersans échapper quoi que ce soit. LuaLaTeX le fait.Je suppose que LuaLaTeX a sous le capot une fonction
\urlqui fait de la manipulation de chaines de caractères qui transformeIdéal_premierenId\%C3\%A9al\_premieravant de le repasser à LaTeX.Avec LuaLaTeX,
\url{https://fr.wikipedia.org/wiki/Idéal_premier}afficher correctement l'url avec les accents et tout. Quand je mets ma souris sur le lien, l'apperçu du lien est avec les accents. Ensuite clic droit -> copier -> coller dans la barre d'url et hop je suis sur la bonne page, toujours avec les accents.[^] # Re: je pensais que c’était su…
Posté par LaurentClaessens (site web personnel) . En réponse au journal pdfLaTeX, XeLaTeX et LuaLaTeX sont dans un bateau. Évalué à 4 (+2/-0).
L'utf dans les url semble à la limite de l'impossible.
Le Frido est passé à LuaLaTeX pour cette raison.
Voir la discussion ici : https://github.com/LaurentClaessens/mazhe/issues/253
Trop Long; Demande Résumé :
J'ai essayé des dizaines de variations autour ce ce thème, mais rien ne marche :
# pyenv
Posté par LaurentClaessens (site web personnel) . En réponse au message Autre version de python3 dans un virtualenv. Évalué à 8. Dernière modification le 04 décembre 2025 à 21:48.
La magie est
pyenv: ça compile la version que tu veux de python et la garde dans~/.pyenv/versions/3.xx. Ensuite les venv font des liens de l’exécutablepython3vers celui qu'on veut.Je tape de mémoire; il y a peut-être un ou deux chemins à adapter.
À faire dans la home:
À partir de là tu as un python 3.10.6 dans
~/.pyenv/version/3.10.6.Ensuite dans ton projet :
Maintenant le fichier
/chemin/vers/mon/projet/venv/bin/python3est un lien vers le python 3.10.6 fraîchement compilé.Et enfin tu installes :
cd /chemin/vers/mon/projet/venv/bin/python3
./python3 -m pip install --upgrade pip
./pip3 install -r /chemin/vers/mon/projet/requirements.txt
Maintenant ton script contient :
et les imports se feront à partir de
venv/lib/python3.13/site-packages.CONSEIL: ne source pas le venv. Utilise un shebang dans le script. Moins de suprises en cas d'oubli.
CONSEIL : je jamais. JAMAIS faire de
pip installdans le python du système. Sinon tu passes du python c'est bien à l'enfer.[^] # Re: L'aspect positif (ou pas vraiment, mais bon, c'est déjà ça)
Posté par LaurentClaessens (site web personnel) . En réponse au journal Intelligence artificielle et problèmes réels. Évalué à 3.
J'aurais tendance à être d'accord avec toi sur à peu près tous les arts sauf la musique.
Beethoven n'a écrit que 5 concertos pour piano, et un seul pour violon.
Si on aime le style, finalement, ceux créés par IA font le taff.
Oui, certes, ils ne sont pas tous aussi géniaux que chaque note de Beethoven himself. Et je suis certain que quelqu'un qui connaît mieux la musique que moi pourrait écrire 5 pages sur ce qui ne va pas dans chacun des "nouveaux concerto pour piano".
Mais bon. Comme y'a à peu près rien qui me plaise après Beethoven et que je connais déjà par cœur ses 5 concertos pour piano et 9 symphonies, ben je préfère écouter du IA-Beethoven que du Schumann ou du Rachmaninov.
Après, il ne faut sans doute pas opposer si franchement la création IA de la création humaine.
Je serais très étonné que cette vidéo steam punk soit le fruit d'un prompt en deux lignes genre «écris une musique accompagnée d’animations steam punk». Je parierais qu'il y a quand même pas mal de travail humain dans ce mini film.