The site, accessed 2026-09-04 (page last edited 2025-09-29), labels the problem PROVED and credits Borwein [Bo91]; as of 2026-10-06 the community database behind the site records the status as proved with a Lean qualifier, resting on the third-party lean-gallery development linked on the claim page, of which no build or audit is recorded in this repository.