The Tree Product Conjecture
Prior state unknown→disproved
disproved at d = 4; the conjecture for smaller d is untouched
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Structural graph theory
The Tree Product Conjecture
disproved at d = 4; the conjecture for smaller d is untouched
15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
disproved at d = 4; the conjecture for smaller d is untouched
disproved at d = 4; the conjecture for smaller d is untouched
Recorded attempts
Evidence graph
Connected research record
- →The Tree Product Conjecture
parent of · event · claim reported
- →disproved at d = 4; the conjecture for smaller d is untouched
parent of · claim · counterexample