another obviously correct opinion from Lucidity

  • @corbin
    link
    English
    85 months ago

    You got Schmidhuber’d! A Gödel machine would fit the bill. Nobody’s built one yet, but the hard part – proof search through something like Metamath (particularly Metamath Zero) – is long-since solved. It wouldn’t take over the world, though; it would just sit in a corner and get really good at maths over the next few centuries.

    • @blakestaceyA
      link
      English
      135 months ago

      I’m sure that taking a noisy average of everything posted on Twitter about Gödel machines will produce a Gödel machine, any day now.

      Step 2: the Gödel machine becomes the monolith from 2001 that can do anything not explicitly prohibited by the laws of physics