Can you detect computer-generated proofs?

In a fascinating development over on Gowers’s Weblog we have just been told that in an earlier post (where we were asked to compare sets of three proofs for results in elementary metric space theory) in each set of three proofs one was computer-generated, one written by a maths undergraduate and one by a maths PhD student.

Given this information, we are now asked to vote for which ones we think are computer-generated. This  latest post and poll is at

I have my own ideas, but I’m not going to reveal them at this point (if ever!)

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s