Constraint solvers have already been used to generate optimal belt balancers (and it's beautiful / incredible). The designs they come up with for 16-wide balancers are, I think, beyond anything a human could have realistically created in a single lifetime.