lean artifact · passed
Artifact ↗Source authenticated
Written on the Wall II, Graph Conjecture 322
The formalization proves the statement under the weaker hypothesis n >= 2; the pull request marking the conjecture solved is open, not merged
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-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 322 · WOWII 322
Confidence: Not scored
Registry verification: lean verified · announcement · candidate
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Written on the Wall II, Graph Conjecture 322 →
Supersedes Written on the Wall II, Graph Conjecture 322 →
Written on the Wall II, Graph Conjecture 322 evidence for this event
Written on the Wall II conjecture list evidence for this event
VibeMathed record: Written on the Wall II, Graph Conjecture 322 evidence for this event
Lean proof evidence for this event
This event attributed to Aristotle
Written on the Wall II, Graph Conjecture 322 parent of this event
The formalization proves the statement under the weaker hypothesis n >= 2; the pull request marking the conjecture solved is open, not merged parent of this event
Act on this frontier