Written on the Wall II, Graph Conjecture 109
Must every connected graph satisfy the proposed upper bound on its independence number in terms of residue and largest induced-bipartite-subgraph order? The family $\overline{K}_{2r+1} \vee (K_r \sqcup K_r)$ violates it for every $r \ge 3$.
Exact FrontierDelta
Scope and record
Occurred: Jul 28, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Written on the Wall II, Graph Conjecture 109 · WoW 109
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 Sol Max (Codex)
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to GPT-5.6 Sol Max (Codex)