reddit.com
It appears that there is no machine-checked proof or corroboration of this claim; I would be dubious in calling this “solved.”
Reply on news.ycombinator.com