Restricting the problem to a fixed size input makes factoring an O(1) operation; so I still don't see what all the fuss is about.
Unless you know a way of extending this to handle an arbitrary amount of I/O then it's just a way of implementing nondeterministic finite state machines; which are no more powerful than deterministic finite state machines.