another obviously correct opinion from Lucidity

  • corbin@awful.systems
    link
    fedilink
    English
    arrow-up
    8
    ·
    13 days 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.

    • blakestacey@awful.systems
      link
      fedilink
      English
      arrow-up
      13
      ·
      13 days 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