Si, D. T. The Faulhaber Conjecture Resolved Generalization to Powers Sums on Arithmetic Progressions. nips-v3 2020, 14-23.