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!)

### Like this:

Like Loading...

*Related*