2017 January 20

“Lemma 0.3. Let be a Scheme. Let be a scheme and is an affine open covering. Let be a canonical and locally of finite type. Let be a scheme. Let be a scheme which is equal to the formal complex.

The following to the construction of the lemma follows.

Let be a scheme. Let be a scheme covering. Let

be a morphism of algebraic spaces over and .”

An example of computer-generated text trained on an algebraic geometry textbook, which include a hilariously messed-up attempt at drawing a commutative diagram. See also examples of computer-generated Shakespeare, Wikipedia articles, and C code:

http://karpathy.github.io/2015/05/21/rnn-effectiveness/

Someone else took the same software and used it to generate novel folk music. Check out the traditional folk song Drike in the Sterthe Cunter House.

https://highnoongmt.wordpress.com/2015/05/22/lisls-stis-recurrent-neural-networks-for-folk-music-generation/