[fallingmeat]

Yes, if they were to move any number of floors at the same time step. But the language model isn't necessarily going to automatically discover those rules for you. Even if it did, the model won't necessarily be able to frame the problem as a BDD and solve it.

At best (and the is a valuable trait) the LLM would be able to reframe your problem in such a way that you could discover the necessary precision in the problem statement. Perhaps it could even encode it in some syntax for another tool.