• dudinax
    link
    fedilink
    arrow-up
    5
    arrow-down
    2
    ·
    8 months ago

    The formalization of chess can’t be practically applied. The top chess programs are all trained models that evaluate a position in a non-formal way.

    They use neural nets, just like the AIs being hyped these days.

    • Prunebutt@slrpnk.net
      link
      fedilink
      arrow-up
      7
      arrow-down
      4
      ·
      8 months ago

      The inputs and outputs of these neural nets are still formal notations of chess states.

      • dudinax
        link
        fedilink
        arrow-up
        5
        arrow-down
        4
        ·
        8 months ago

        What on odd thing to write. Chess i/o doesn’t have to be formalized and language i/o can be.

        • Buddahriffic@lemmy.world
          link
          fedilink
          arrow-up
          4
          arrow-down
          1
          ·
          8 months ago

          I think the relevant point is that chess is discrete while art isn’t. Or they both are but the problem space that art can explore is much bigger than the space chess can (chess has 64 square on the board and 7 possibilities for each square, which would be a tiny image that an NES could show more colours for or a poem with 64 words, but you can only select from 7 words).

          Chess is an easier problem to solve than art is, unless you define a limited scope of art.

          • dudinax
            link
            fedilink
            arrow-up
            1
            ·
            7 months ago

            We could use “Writing a Sonnet” as a suitably discrete and limited form of art that’s undeniably art, and ask the question “Can a computer creatively write a sonnet”? Which raises the question “Do humans creatively write sonnets?” or are they all derivative?

            Humans used to think of chess as an art and speak of “creativity” in chess, by which they meant the expression of a new idea on how to play. This is a reasonable definition, and going by it, chess programs are undeniably creative. Yet for whatever reason, the word doesn’t sit right when talking about these programs.

            I suspect we’ll continue to not find any fundamental difference between what the machines are doing and what we are doing. Then unavoidably we’ll either have to concede that the machines are “creative” or we are not.