Comment by pcfwik

If I understand correctly, one of the recent cool generative AI-assisted results is actually supposed to have closed this problem, complete with a Lean proof!

https://arxiv.org/abs/2608.29592