Jun 23, 2026, 5:08 PMJe suis loin d'être aussi enthousiaste et impressionné que lui. La vidéo fait déjà 40 minutes et c'était pas le sujet mais voici 2,3 trucs qu'il faut garder en tête quand on parle d'IA générative:
1) il est décevant de voir des gens comme Tao et Gowers faire le jeu d'OpenAI et d'Anthropic, et ce juste au moment de leur entrée en bourse.
Jun 23, 2026, 5:09 PMLes enjeux sont plus grands que la preuve de théorèmes et des déclarations dithyrambiques. Ces compagnies sont de véritablement monstres qui détruisent tout sur leur passage, de environnement à internet, en passant par les relations interpersonnelles. Soit Gowers et al. sont complètement ignorants, soit ils préfèrent se mettre la tête dans le sable. Dans les 2 cas, c'est irresponsable vu leurs notoriété et influence.
Jun 23, 2026, 5:09 PM2) à aucun moment il n'est fait état de l'énormité des moyens énergétiques mis en jeu, de l'entraînement du modèle à la génération de la réponse. C'est absolument colossal, notamment parce qu'une version de chatGPT n'est pas juste entraînée une fois mais plusieurs fois pour arriver à un modèle qui vaille le coup de faire une nouvelle version.
Jun 23, 2026, 5:09 PMC'est complètement passé à la trappe: on a l'impression de juste taper une phrase et d'avoir une réponse qui nous vient du cloud, complètement éthérée et sans conséquences sur l’environnement ou les petites mains qu'ils paient 3 francs 6 sous pour être sûrs que le public ne se retrouve pas exposé à des récits traumatisants ou autres joyeusetés.
Jun 23, 2026, 5:10 PM3) Pour savoir si ça vaut le coup, il faut mettre en balance ce que ça coûte au regard de ce que ça produit. Par exemple, si je réquisitionnais tous les data centres du monde pour prouver un résultat en faisant une marche aléatoire, il y a de bonnes chances que je finisse par trouver quelque chose. Mais je pense pas que les gens seraient très impressionnés. Là on a un espace beaucoup plus restreint, avec une recherche guidée (et Lean qui permet de rester dans les clous).
Jun 23, 2026, 5:10 PMEt si vraiment un modèle général peut prouver un théorème difficile, il y a fort à parier qu'il y a un système sous-jacent bien plus efficace et moins gourmand en énergie pour faire la même chose, et ça ça serait intéressant à étudier. Mais c'est complètement noyé par les milliards de connections dans tous les sens. Un gâchis d'énergie monumental.
Jun 23, 2026, 5:10 PM4) Et finalement, à quoi sert un tel système? Certes, c'est nouveau, ça fait des trucs inattendus mais au final à quoi ça sert? Les mathématiciens font de la recherche, ils ont des motivations spécifiques. C'est pas juste prouver des théorèmes comme dans un livre d'exercices.
Jun 23, 2026, 5:11 PM5) Un dernier truc sur l'IA qui entraîne l'IA: ⚠️ terrain glissant. C'est le fantasme des TESCREAL, tout est basé sur leur foi en l'exponentielle, comme si le monde était infini. Ces gars sont dangereux: ils se foutent de la souffrance et des destructions produites par leur jouet actuellement parce qu'ils pensent que l'IA va sauver des milliards de milliards de vies humaines dans les 100'000 prochainnes années. Une bonne intro sur le sujet est "More, Everything, Forever" d'A. Becker.
Jun 23, 2026, 5:11 PMBref, tout discours sur l'IA générative doit prendre en compte le rapport coût/bénéfice, et vu les coûts environnementaux, humains, financiers etc., de cette technologie, elle est très très loin d'apporter des bénéfices comparables. Il est grand temps d'arrêter cette expérience désastreuse et délétère.
/fin
Merci d'avoir mis en mots ce qui me tracassait avec cette vidéo 🙏
@koantig Pour Harmonic: de produit d'appel pour faire de la preuve pour des marchés solvables, comme la conception hardware.
@koantig
pour le coup il en parle assez souvent. Notamment dans sa vidéo précedente sur le sujet.
en gros ✨à l’utilisition✨ ça ne consomme pas (bcp) plus qu’une requête google.
mais oui il faut massivement renhuman-ser les process
Jun 25, 2026, 12:03 PM@CedC
Ah ouais, j'ignorais sa position pro IA, c'est vraiment dommage.
Pas beaucoup plus qu'une requête Google ça me semble plus proche des éléments de langage d'OpenAI que de la réalité.