Un point important, c'est que une preuve mathématique, il me semble que ce n'est pas soumis au droit d'auteur. Il est donc difficile de la voler au sens où on peut l'entendre lorsque ChatGPT ou Github Copilot régurgitent du code proche d'une source utilisée pour leur entraînement.
Il reste par contre l'autre problème de ces intelligences artificielles, qui est la consommation d'énergie et d'eau des machines qui font tourner tout ça. Ce coût est caché parce qu'il se produit dans un data center un peu loin de chez toi. Si on l'exécutait en local, on aurait un choix du type: tu peux produire cette preuve mathématique par toi-même, ou alors lancer ChatGPT, ce qui va demander de laisser ton ordinateur tourner pendant 1 jour, va augmenter ta facture d'électricité de 20€ et augmenter la température dans ton bureau de 2o. Peut-être qu'alors on envisagerait la chose autrement et qu'on ne l'utiliserait pas pour tout et n'importe quoi (je ne dis pas que c'est le cas ici, je ne sais pas si cette preuve aurait pu être obtenue avec moins de travail par d'autres moyens).
[^] # Re: Deux critiques ! la définition et ChatGPT.
Posté par pulkomandy (site web personnel, Mastodon) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 4.
Un point important, c'est que une preuve mathématique, il me semble que ce n'est pas soumis au droit d'auteur. Il est donc difficile de la voler au sens où on peut l'entendre lorsque ChatGPT ou Github Copilot régurgitent du code proche d'une source utilisée pour leur entraînement.
Il reste par contre l'autre problème de ces intelligences artificielles, qui est la consommation d'énergie et d'eau des machines qui font tourner tout ça. Ce coût est caché parce qu'il se produit dans un data center un peu loin de chez toi. Si on l'exécutait en local, on aurait un choix du type: tu peux produire cette preuve mathématique par toi-même, ou alors lancer ChatGPT, ce qui va demander de laisser ton ordinateur tourner pendant 1 jour, va augmenter ta facture d'électricité de 20€ et augmenter la température dans ton bureau de 2o. Peut-être qu'alors on envisagerait la chose autrement et qu'on ne l'utiliserait pas pour tout et n'importe quoi (je ne dis pas que c'est le cas ici, je ne sais pas si cette preuve aurait pu être obtenue avec moins de travail par d'autres moyens).