Eddy Street

What if we built a supercomputer and fed it all the mathematical knowledge we have today and allowed it to use this knowledge to prove things like the Goldblach conjecture or the Reimann hypothesis? The computer would go through its database and create a solution or a number of distinct solutions which mathematicians would later try to decipher. This computer could also be used to make new connections and create new theorems or new entirely mathematics. What do you think of this?