Therefore, assuming quantization noise is uncorrelated, as the number of weights doubles, the number of inputs goes up by sqrt(2), and the (normalized) noise goes down by a factor of 2*(sqrt(2)).
So, as a rule of thumb, you can remove 1 bit of precision of the weights for every 4x increase in the number of weights.
All this assumes weights and activations are uncorrelated random variables - which may not hold true.
People are already doing stuff like this (see sparsification) so it is conceivable to me that this is just what networks will look like in a few years.
shower thought
In graphics we use barycentric coordinates to encode the position within an arbitrary triangle using two coordinates (u,v), with the third being constrained to be 1-u-v. If you order nodes to be correlated, could you use a similar trick to encode three weights for the price of two?
https://arxiv.org/abs/2210.17323