Yeah, that juxtaposition makes no sense to me. How does the machine that remixes existing text and makes it worse become anything that can “recursively self-improve”? Show your work.
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.
Yeah, that juxtaposition makes no sense to me. How does the machine that remixes existing text and makes it worse become anything that can “recursively self-improve”? Show your work.
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.
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