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
Prior state unknown→proved
Scope and record
Occurred: Aug 2, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its 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
This event attributed to Aristotle
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
Written on the Wall II, Graph Conjecture 322 evidence for this event
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
Lean proof evidence for this event
Act on this frontier