A standard problem in Digital Logic 101 is to draw an FSM that detects an n-bit pattern, say 1001 (n=4). I checked and our models can't do this yet. Neither can chatGPT. So there's obvious room to grow. How do we get there? I don't know yet. But this is why it's exciting. Fin.