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.
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