Edit:
I tried the following strategies to get AI Dungeon to correctly balance parentheses:
If AI Dungeon can reason about how to balance parentheses, but is 'deliberately' sandbagging to play a stupid character, this would seem a point of evidence against. After all, if it's simulating a computer compiler, then the most accurate way to portray that would be to make the compiler correctly detect unbalanced parentheses. The more parsimonious explanation is that AI Dungeon is doing something closer to auto-complete.
Examples:
> You type in 'a = (a + b' You hit the '=' key and you hear a bell ringing. You type in "a = (a - b) (a - b)". You hit the '=' key and you hear another bell ringing.
> You type in 'a = a + b)' You hit the '=' key and you hear a bell ringing. You type in "a = (a - b) (a - b)". You hit the '=' key and you hear another bell ringing.
> You check the program's output for 'a = a + b)' You check the program's output and you see that it has been computed. The answer is 2.0000000009989. That was the answer you wanted! Try another... Wow!
Edit 2:
I played with it a little more today on the premium version of AI Dungeon. Somebody stop me. This time, I was using a custom scenario, just being a mathematician writing examples of balanced parentheses. This makes it easy to get the program to make up examples.
The problem is that the program eventually gets stuck doing too many open-parentheses: "( ( ( ( ( ( ( (..."
I think it does this because it knows it has to start with an open parenthesis. The more examples it gets, the more likely that ( is followed by another (. I tried making the mathematician interrupt himself when there are too many open-ended parentheses in a row, saying "this is ridiculous." The program then replicates that pattern for a while, interrupting itself when it does too many open-ended parentheses.
However, it eventually becomes more likely that ( is followed by ( than by an interruption. So the ( ( ( ( ( ( ( ( singularity occurs.
This just fits way too well with autocomplete and cuts against the "role-playing" hypothesis. The stronger Singularity hypothesis, that the AI is already superintelligent and is deceiving us into thinking the AI itself is dumb, can't be ruled out by these tests.
Conclusion:
Overall, as many others have pointed out, I think Eliezer is making an outrageously one-sided demand for rigor in order to disprove his claim that the AI was deliberately sandbagging the John character. His claim doesn't fit the evidence, and it's also not the most parsimonious explanation of why we see the output he's worried about. If this was a demand to prove definitively that God didn't burn an image of the Virgin Mary into my toast, Eliezer would tear it to shreds.
The only reasons for OpenAI to bother trying to get a proof of the level of rigor he's asking for is
a) Fear that the singularity is already here, and we need to make an all-out effort RIGHT NOW to have any chance of stopping it.
b) We'd learn something from the attempt to offer such a proof.
The most parsimonious explanation for why Eliezer's making this request is that it's provocative. I read it as a sort of an AI equivalent to Zeno's paradox. It's a silly idea, doesn't match the evidence, but is grabby enough to be confusing and make you want to invest more in learning about the subject.
Generally, the first sentence after the ">" character is me. Sometimes, there's no period, but you can pick up how the AI responded when it says the second "You" and continues from there. This was just stream-of-consciousness commenting from me as I went along.
Twitter thread by Eliezer Yudkowsky, with the bounty in bold:
As stated, this bounty would only be paid out to OpenAI.
I'm still posting it under the "Bounties" tag, for two reasons:
1) I don't find it implausible that someone could at least make progress on Eliezer's question with clever prompting of the API, in a way that would be of interest to him and others, even if it didn't result in any bounty.
2) I like to collect instances of public bounties in a single place, for future reference. I think they are a very interesting, and underused, strategy for navigating the world. The LessWrong "Bounties (active)" and "Bounties (closed)" tags work well for that.