alfdsv
No user record in our sample, but alfdsv has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but alfdsv has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
The exact wording (as of now, I do not know if he edits) is: "Could the P versus NP question itself be NP-hard, and therefore impossible to solve?" That clearly implies solving. Aaronson is pretty sloppy with his own…