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
Prior state unknown→proved
Scope and record
Occurred: Aug 3, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-assisted. Editorial metadata: CC BY 4.0; linked content retains its 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
Chris Maki
human · human collaborator
ChatGPT + Codex
model · ai model contributor · OpenAI
Artifacts and verifiers
formal registration · pending
Artifact ↗Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Chris Maki
This event attributed to ChatGPT + Codex
Written on the Wall II, Graph Conjecture 144 evidence for this event
Upstream statement (Formal Conjectures) evidence for this event
Lean proof at the pinned commit 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
VibeMathed record: Written on the Wall II, Graph Conjecture 144 evidence for this event
Written on the Wall II, Graph Conjecture 144 parent of this event
Act on this frontier