The site labels the problem OPEN (page last edited 23 January 2026), with the explanation that the question cannot be settled by a finite computation. The site's proof-claims tab carries one entry, a full claim by Liam Price made with GPT Pro, as the tab gives it, first posted in the site's thread on 2026-06-19 and filed on the tab on 2026-07-15, not accepted by the site and recorded as pending on Price's claim page (2026); it gives the derived standing claimed.