> There is so much argument that boils down to "this would be very bad for me, therefore it can't happen". I would gently suggest that you may be assigning the most uncharitable interpretation to people's honest…
I think this is selling Gödel a little bit short. He proved for the first time that in any system of mathematics with enough complexity to be interesting, there are statements that cannot be proven true or false. The…
Looking at the way they defined their test criteria, these seem like things that could be predicted with better than 50 percent accuracy by a trivial strategy. Am I mistaken? If I predict that on most edits, the program…
> There is so much argument that boils down to "this would be very bad for me, therefore it can't happen". I would gently suggest that you may be assigning the most uncharitable interpretation to people's honest…
I think this is selling Gödel a little bit short. He proved for the first time that in any system of mathematics with enough complexity to be interesting, there are statements that cannot be proven true or false. The…
Looking at the way they defined their test criteria, these seem like things that could be predicted with better than 50 percent accuracy by a trivial strategy. Am I mistaken? If I predict that on most edits, the program…