Lower Bounds for Multivariate Independence Polynomials
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. 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: Lower Bounds for Multivariate Independence Polynomials · Multivariate independence polynomials
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Aletheia (Gemini Deep Think)
model · ai model contributor · Google DeepMind
Harmonic Aristotle
model · ai model contributor · Harmonic
Joonkyung Lee
human · human collaborator
Jaehyeon Seo
human · human collaborator
Lineage and corrections
Corrects Lower Bounds for Multivariate Independence Polynomials →
Supersedes Lower Bounds for Multivariate Independence Polynomials →
This event attributed to Joonkyung Lee
Lower Bounds for Multivariate Independence Polynomials parent of 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
Lower Bounds for Multivariate Independence Polynomials evidence for this event
This event attributed to Aletheia (Gemini Deep Think)
This event attributed to Jaehyeon Seo
This event attributed to Harmonic Aristotle
VibeMathed record: Lower Bounds for Multivariate Independence Polynomials evidence for this event
Act on this frontier