I recall an experiment that Gowers was doing when he had a program that would write proofs to basic theorems and questions that an undergraduate math major migh

I recall an experiment that Gowers was doing when he had a program that would write proofs to basic theorems and questions that an undergraduate math major might encounter in a first analysis or linear algebra course. His experiment was to see if other could distinguish between proofs written by students and proofs written by the program. You can see some of that in [1] and [2]. Although I was not fooled (nor do I think that people who both understand analysis and have a bit of foresight into the structural approaches such a program would take would be fooled), it was interesting to see. [1]:https://gowers.wordpress.com/2013/04/02/a-second-experiment-concerning-mathematical-writing/ https://gowers.wordpress.com/2013/04/02/a-second-experiment-... [2]:https://gowers.wordpress.com/2013/04/14/answers-results-of-polls-and-a-brief-description-of-the-program/ https://gowers.wordpress.com/2013/04/14/answers-results-of-p...