Which write-up for Problem 5 did the computer write? (Poll Closed) (poll 7008605)

Which write-up for Problem 5 did the computer write? (Poll Closed)

I think the computer-generated output is (c) but am not certain. 31% (115 votes)
The computer-generated output is definitely (c). 30% (110 votes)
I have no idea which write-up was computer generated. 13% (49 votes)
I think the computer-generated output is (b) but am not certain. 13% (46 votes)
The computer-generated output is definitely (b). 5% (19 votes)
I think the computer-generated output is (a) but am not certain. 5% (17 votes)
The computer-generated output is definitely (a). 3% (12 votes)

Total Votes: 368

See this poll on: https://poll.fm/7008605/embed

Stephen P. Schaefer - 11 years ago

I actually think that 5c is the most humanly comprehensible of the three proofs, and would have thought it least likely to be computer generated, were it not for the "and we are done" tell at the end. Of course, you could be messing with us, using "and we are done" as a distractor - let's not pretend that past behavior puts you above such a tactic ;-).