Like Scott, I used chatgpt for a proof. It gave me something convincing but wrong.
Still, it led me to a 1964 theorem about medians of sums of Bernoullis. And to fast algorithms for computing many power sums at once.
Below was my first attempt. See if you can find the bug.
