WILF

Enumeration schemes and, more importantly, their automatic generation. With all due respect to Wilf classes and enumeration, and even to combinatorics, the main point of this article is not to enhance our understanding of Wilf classes, but to illustrate how much (if not all) of mathematical research will be conducted in a few years. It goes as follows. Suppose a (as of now, human) mathematicians has a brilliant idea. Teach that idea to a computer and let the computer `do research’ using that idea.