lean artifact · pending
Artifact ↗Source authenticated
The Simonovits Product Conjecture
One construction disproves both the product conjecture and its no-forest form (Conjectures 1.1 and 1.3), but not the weak form of the conjecture (Conjecture 1.2).
Exact FrontierDelta
disproved→disproved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. 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: The Simonovits Product Conjecture · Product conjecture
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 Sol
model · ai model contributor · OpenAI
Chuandong Xu
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects The Simonovits Product Conjecture →
Supersedes The Simonovits Product Conjecture →
The Simonovits Product Conjecture parent of this event
Füredi & Simonovits 2013 - Earliest known conjecture statement evidence for this event
VibeMathed record: The Simonovits Product Conjecture evidence for this event
The Simonovits Product Conjecture evidence for this event
One construction disproves both the product conjecture and its no-forest form (Conjectures 1.1 and 1.3), but not the weak form of the conjecture (Conjecture 1.2). parent of this event
Github repo of the counterexample evidence for this event
This event attributed to GPT-5.6 Sol
This event attributed to Chuandong Xu
Act on this frontier