MathDBWOWII Graph Conjecture 160
WOWII Graph Conjecture 160
The supplied source identifies a source-corrected Written on the Wall II (WOWII) Graph Conjecture 160 and refers to an exact corrected statement, but does not provide that statement's mathematical content. Therefore, the conjecture cannot be stated more precisely from the supplied material.
Sources & referencesView supporting material
Primary source
Additional references
- WOWII Conjecture 160 formalization — GitHub
Progress summary
A machine-checked proof has been submitted and marked solved, but ordinary human review has not finished.
This entry concerns WOWII Graph Conjecture 160. The available record reports a formal settlement, but gives no independently published mathematical exposition.
August 2026 formal verification
A submitted proof has been formally verified and the conjecture is marked solved. The record explicitly says that normal maintainer review remains necessary, so the settlement is not yet independently confirmed.
Current status (as of August 2026): A formal-verification record claims the conjecture is solved, while ordinary maintainer review and independent confirmation remain outstanding.
Sources
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.