Evolutionary Algorithms surpass human math

The next step in math involves evolutionary algorithms that use brute force to solve problems. This idea is similar to Stephen Wolfram's "New Kind of Science" http://www.wolframscience.com/...whereby a simple rule can breed a complex system. What this sometimes breeds is a proof that has been proven by a computer but unexplainable by humans. ie: the four color theorem: http://en.wikipedia.org/wiki/Four_color_theorem