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

http://gowers.wordpress.com/2013/04/02/a-second-experiment-concerning-mathematical-writing/

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

Advertisements

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s