I think it would be rather hard to have such a system implement something like a sequence alignment algorithm, much less an NP hard problem like subgraph isomorphism, much less a humanly complex problem like tax filing software.