Comme d’habitude, Mr Phi a bien fouillé les articles sur le sujet et donne un état de l’art sur les preuves mathématiques par des LLMs
Comme d’habitude, Mr Phi a bien fouillé les articles sur le sujet et donne un état de l’art sur les preuves mathématiques par des LLMs
En proportion de l’utilisation. Je suis pas contre la tech mais son utilisation majoritaire actuelle et l’orientation que ça prend. Tu as la même pour les réseaux sociaux. C’est pas le nombre de lemmys qui contre les dégâts des autres réseaux sociaux. Le développement de la tech est un coût, sa mise en oeuvre un autre, son utilisation un troisième. Au global la majorité du coût est perdu (voir nuisible dans cet exemple) pour la société.
Pareil pour la deuxième partie.
On en revient a la vision initiale du pognon perdu par les techbros vs le coût réel (si on avait fait autre chose ou autrement), et a la différence outil / utilisation que j’avais fusionnée.