Comment Re:Solution looking for a business problem (Score 2) 78
I'm sure that if mathematicians had wanted to replace themselves with computers then they would have applied traditional logic-solving algorithms to solving maths problems for them -- and done it with a fraction of the computing resources.