The Simonovits Product Conjecture
Prior state unknown→disproved
one construction disproves both the product conjecture and its weak form
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Extremal graph theory
The Simonovits Product Conjecture
one construction disproves both the product conjecture and its weak form
18Significance / 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
one construction disproves both the product conjecture and its weak form
one construction disproves both the product conjecture and its weak form
Recorded attempts
Evidence graph
Connected research record
- →The Simonovits Product Conjecture
parent of · event · claim reported
- →one construction disproves both the product conjecture and its weak form
parent of · claim · counterexample