← WSFC: Worm Sequence Freedom Closure / WSFC R06 · Adversarial re-derivation
An adversarial re-derivation of R05: finds one genuine gap (the family qL = 0, qR ≥ 1 with a positive plateau was omitted), repairs it with a general lemma (T_q'(c) > 1/3), and concludes that the chain survives as an 'independently re-derived research theorem chain', not formally verified and not peer reviewed.
This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.
Loading…