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

you are viewing a single comment's thread
view the rest of the comments
[–] [S] -2 points 5 months ago (5 children)
  1. C'est une affirmation gratuite.
  2. Idem, moi j'ai entendu ça sur à peu près toutes les technos informatiques depuis que je sais lire. Ce qui apparemment est un miracle car entre la télé, les jeux vidéo et les jeux de rôle, je devrais avoir le niveau d'une paramécie normalement.
  3. Le nucléaire est décarboné, j'aime bien le rappeler quand même. Oui, c'est une évidence, j'aimerais que ce le soit pour tout le monde.
  4. Les deux marchent main dans la main. Le progrès technologique ne réduit pas automatiquement le temps de travail, mais le temps de travail ne peut pas se réduire sans progrès technologique non plus. C'est deux choses qui doivent marcher main dans la main. Et c'est pour ça que ça m'exaspère de voir que les tendances politiques qui devraient vouloir moins de temps de travail sont également hostiles aux technos qui rendent ça possible.

Après, pour le décisionnel, quand on voit la baseline, je ne sais même pas si les IA d'aujourd'hui ne sont pas prêtes. Alors oui, moi je trouve qu'il vaut mieux attendre que des progrès soient faits. Mais je dirais que les LLMs d'aujourd'hui ont un niveau de culture et d'intelligence qui est supérieur à la moyenne des dirigeants humains aujourd'hui.

  • source
  • parent
  • hideshow 5 child comments
  • [+] 2 points 5 months ago (4 children)
  • [–] [S] -2 points 5 months ago (3 children)

    La encore va voir un peu de littérature avant de confondre lieux communs et analyses.

    Plutôt que de répondre à tes opinions tranchées par mes opinions tranchées, je te propose de te prendre au mot ici et de me dire sur quelle publication tu te bases pour tes affirmations. Parce que bon, sinon c'est un peu du débat dans le vide.

  • source
  • parent
  • hideshow 3 child comments