lean artifact · passed
Artifact ↗Source authenticated
Written on the Wall II, Graph Conjecture 2
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. 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 2 · WoW Conjecture 2
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
AlphaProof Nexus
model · ai model contributor · Google DeepMind
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Written on the Wall II, Graph Conjecture 2 →
Supersedes Written on the Wall II, Graph Conjecture 2 →
This event attributed to AlphaProof Nexus
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
Monochromatic Quantum Graphs in the Diagonal Family evidence for this event
Kitamura Lean proof repository evidence for this event
VibeMathed record: Written on the Wall II, Graph Conjecture 2 evidence for this event
Independent second Lean proof by Kenta Kitamura (formal-conjectures PR #4654) evidence for this event
Written on the Wall II, Graph Conjecture 2 parent of this event
Act on this frontier