lean artifact · passed
Artifact ↗Source authenticated
Sabidussi's Compatibility Conjecture
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-co-developed. 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: Sabidussi's Compatibility Conjecture · Sabidussi compatibility
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 Pro
model · ai model contributor · OpenAI
GPT-5.6 Sol
model · ai model contributor · OpenAI
Nikolay Ulyanov
human · human collaborator
Artifacts and verifiers
formal registration · pending
Artifact ↗Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Sabidussi's Compatibility Conjecture →
Supersedes Sabidussi's Compatibility Conjecture →
This event attributed to GPT-5.6 Pro
Sabidussi's Compatibility Conjecture evidence for this event
VibeMathed record: Sabidussi's Compatibility Conjecture evidence for this event
Sabidussi's Compatibility Conjecture parent of this event
GitHub link to the conjecture statement (Challenge.lean) evidence for this event
This event attributed to Nikolay Ulyanov
Fleischner 1980: Conjecture statement evidence for this event
This event attributed to GPT-5.6 Sol
GitHub repo of the proof evidence for this event
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
Act on this frontier