[avereveard]

Eh, this is just reinventing decision trees from first principles. There's a reson why we cant have an universal decision tree, and it's that the universal concepts would need to be described somehow to the model to take action, and this somehow is language, and our current sota for getting a model to understand language is to feed it gazillion combinations of sentences and their valid continuations.

But. There's indeed some challenging aspect in making these model plan for solving unexpected, novel problems not in the training set. Possibly a model that produces axioms and relations and a constrain solver that evaluates if the solution is coherent, non conflicting and complete.