lean artifact · passed
Artifact ↗Source authenticated
Written on the Wall II, Graph Conjecture 144
The Formal Conjectures pull request flipping this from open to solved is still open rather than merged, so the canonical repository has not yet accepted it.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-assisted. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Written on the Wall II, Graph Conjecture 144 · WOWII 144
Confidence: Not scored
Registry verification: lean verified · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
ChatGPT + Codex
model · ai model contributor · OpenAI
Chris Maki
human · human collaborator
Artifacts and verifiers
formal registration · pending
Artifact ↗Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Written on the Wall II, Graph Conjecture 144 →
Supersedes Written on the Wall II, Graph Conjecture 144 →
Lean proof at the pinned commit evidence for this event
Written on the Wall II, Graph Conjecture 144 parent of this event
Written on the Wall II, Graph Conjecture 144 evidence for this event
Upstream statement (Formal Conjectures) evidence for this event
VibeMathed record: Written on the Wall II, Graph Conjecture 144 evidence for this event
The Formal Conjectures pull request flipping this from open to solved is still open rather than merged, so the canonical repository has not yet accepted it. parent of this event
This event attributed to Chris Maki
This event attributed to ChatGPT + Codex
Act on this frontier