Proved. The site labels the problem proved and formalized, crediting GPT-6 Astra, and its curator submitted proof claim 243; the corpus accepts the result on the claim page (Adamczewski, 2026) on formalized evidence: the pinned Lean development was built here, its axioms found to be the three standard ones, its compared declaration matched to the comparator challenge and its statement audited against the Statement above, so the problem stands solved and proved. The site's acceptance comes from the curator who submitted the entry and co-wrote the publication, so it is not an independent review, and nothing is refereed; the formal evidence and the preliminary exposition are distinguished on the claim page and below. The eight earlier single-graph exponent families the site lists are partial claims, one page each under claims/ (seven accepted on their refereed venues, the 2026 preprint claimed); none settles the problem.