@ColinTheMathmo so far, I think none of the above. The paper he presented doesn't claim a proof in its abstract.