[otabdeveloper4]

Not really, a shitload of "open math problems" are bounded by constraints of simple text processing or heuristic search.

Much of math is just boring routine work.