Login
You're viewing the mstdn.social public feed.
  • Jun 23, 2026, 5:10 PM

    4) 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.

    💬 2🔄 0⭐ 5

Replies

  • Jun 23, 2026, 5:11 PM

    5) 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.

    💬 1🔄 3⭐ 5
  • Jun 23, 2026, 5:11 PM

    Bref, 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

    💬 1🔄 1⭐ 9
  • 💬 1🔄 0⭐ 0
  • Jun 24, 2026, 5:26 AM

    @djelouze @koantig exactement pareil. En plus, prouver des theoreme de math, en soit, quel interet ca a ? Il y a tres peu de chance que cela soit utilisé "dans le monde réel. C’est le chemin qui compte, la reflexion que mene le chercheur, et le chemin pris la est un chemin de merde

    💬 0🔄 0⭐ 0
  • Jun 23, 2026, 7:19 PM

    @koantig Pour Harmonic: de produit d'appel pour faire de la preuve pour des marchés solvables, comme la conception hardware.

    💬 0🔄 0⭐ 0