[chtl]

Very many - I think the number is several thousand. Several sporadic 6-state machines have been solved, though, and there are currently about 2400(?) unsolved machines. Among these are several Cryptids, machines whose halting problem is known to be mathematically hard

[jychang]

You guys need a blog to chase these down.

If nothing else, it’ll inspire the next generation of mathematicians.