just I discovered it from a newspaper article:
With source code.
Mathgen: Randomly generated math papers
thatsmathematics.com
With source code.