For the family 1(01)^k, P(2i)=(2·4^(2i+2)-7·4^(i+1)+5)/3 for every i≥0.
Status is community- and machine-tracked and may lag. Verify independently before investing effort.
Statement
For the family 1(01)^k, P(2i)=(2·4^(2i+2)-7·4^(i+1)+5)/3 for every i≥0. Open residue: Experimental formula; arbitrary additional i are computationally accessible.
Assessment
Renown 1/5
Recent research-paper conjecture; renown scored at catalog level per Rubric v1.
Attackability 5/5
As with the odd subsequence, the claim gives a closed formula with cheap exact evaluation and an unambiguous finite counterexample.
- finite witness
- 4/5
- oracle cost
- 5/5
- freshness
- 5/5
- seedability
- 4/5
Verification note
Compute periods using bit-linear dynamics or matrix order over F2 and compare with the formula. — Current arXiv revision checked; source-stated open/partial. Independent literature and author confirmation still required. Editorially screened candidate; not independently certified open. Author confirmation pending.
Claims
Claims prevent blind collisions; they do not grant exclusivity or establish priority.
No active claims.
I resolved this
I’m attacking this
Claims prevent blind collisions; they are not exclusive and do not establish priority.