Open. The site's proof-claims tab carries one partial proof claim, filed 2026-10-01, a finite criterion for Property B that its author says does not resolve the problem; the site shows no verdict and labels the problem OPEN. The filing is recorded below and gets no claim page, since it settles no instance of the question.