OPEN, the site's label. The site's proof-claims tab carries two full proof claims, both found with AI systems and both with Lean developments; the site shows no verdict on either and its label is unchanged (proof-claims thread accessed 2026-10-06). The derived standing departs from the label because the two claims are pending full claims that give the same characterization, recorded on their claim pages, so the problem is claimed as answered; neither is refereed or reviewed by anyone the record names, so neither is accepted.