i think a better question and one that probably has a lnown answer is whether there are infinite nontrivial solutions to train a neural network of a certain size to match a function? Trivial here would be about simplifying `n * 2 / 2` from two neurons to just passing n from the input
do they break down to a finite subset of groups?