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

  • keepthepace@tarte.nuage-libre.frOP
    link
    fedilink
    Français
    arrow-up
    2
    arrow-down
    2
    ·
    27 days ago

    “Learn to do your research!”. Décidément, je quittais Reddit pour piefed, je ne m’attendais pas à tomber sur Facebook.

    • Left as CenterM
      link
      fedilink
      Français
      arrow-up
      3
      arrow-down
      2
      ·
      27 days ago

      Regarde l’intégralité de tes posts sur cette discussion. Tu t’es fair debunker sur a peu prêt tout et tu continues. il y a un moment ou, oui, restes dans ta bulle d’énergie nucléaire non polluante, de réseau électrique pas interconnecté, d’IA qui génère pas de CO2, de roleplay IA utile, ou 95% des entreprises qui ont perdu en implémentant de l’IA doivent avoir tort. Mais tout ça c’est juste la faute de Peter Thiel et consort.

      La conclusion est effectivement apprends a apprendre au lieu de chercher a avoir raison.