aeris22’s avataraeris22’s Twitter Archive—№ 82,010

  1. …in reply to @lcheylus
    @lcheylus Non. Au mieux l’IA aidera un scientifique à démontrer une conjecture…
    On twitter.com Twitter logo aeris22’s avatar Mood 0
    1. …in reply to @aeris22
      @lcheylus Une IA peut s’amuser à génerer tous les théorèmes possibles et imaginables à partir des axiomes de base, en les composant en boucle. Ça ne veut absolument pas dire que le théorème obtenu a la moindre utilité.
      Permalink On twitter.com Twitter logo aeris22’s avatar Mood -3 🙁
      1. …in reply to @aeris22
        @lcheylus Et de toute façon un humain ne s’amusera pas à valider l’utilité d’un théorème qui ne correspond à aucune conjecture utile pour lui.
        Permalink On twitter.com Twitter logo aeris22’s avatar Mood 0