ParentFull threadpcfwik·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.29592View on HN