Open. The site's proof-claims tab carries one partial proof claim, a count of the subgroups of the symmetric group of a prescribed power-of-two order; the site shows no verdict and its label is unchanged (proof-claims thread accessed 2026-10-06). The claim is recorded on its claim page.