Some problems of mathematics like the Halting Problem and the Busy Beaver Problem are uncomputable, meaning that it is mathematically proven that any Turing-complete computer is physically incapable of solving the problem no matter how sophisticated its hardware or software is. Some algorithms on a Turing machine can be used...
Hello, I find that a fundamental premise towards the development of AI is the ability to dissect all the internal calculations used by the human mind to make rational decisions, and then replicate those calculations in an electronic system. On a surface level, this works very well for many kinds...
Hello, If you are unaware, The Stanley Parable is a video game originally released in 2013, and later re-released 2022 under the title The Stanley Parable: Ultra Deluxe. The player takes control of the titular character Stanley, as the present and future actions of his life are being dictated by...
Hello, I was recently thinking about the question of how humans achieve alignment with each other over the course of our lifetime, and how that process could be applied to an AGI. For example, why doesn't everyone shop lift from the grocery store? A grocery store isn't as secure as...
> We know that a dream can be real, but who ever thought that reality could be a dream? We exist, of course, but how, in what way? As we believe, as flesh-and-blood human beings, or are we simply parts of someone's feverish, complicated nightmare? > > * Charles Beaumont...
Hello, I am not at all adverse to discussing contingencies for things that are either uncertain or unlikely, but I'm curious what the general consensus is for how likely a superintelligent AGI scenario actually is. To be clear, I am certainly aware that advances in AI have made leaps and...
In reading about proposals for AI Boxing, I notice two excerpts jump out at me. First, is a proposed scenario to uncover an unfriendly AI: > A virtual world between the real world and the AI, where its unfriendly intentions would be first revealed And the second excerpt of interest...