Source authenticated

Lower Bounds for Multivariate Independence Polynomials

VibeMathed recorded: Lower Bounds for Multivariate Independence Polynomials. Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 5, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Lower Bounds for Multivariate Independence Polynomials · Multivariate independence polynomials

Confidence: Not scored

Registry verification: lean checked · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Joonkyung Lee
human · human collaborator

Jaehyeon Seo
human · human collaborator

Aletheia (Gemini Deep Think)
model · ai model contributor · Google DeepMind

Harmonic Aristotle
model · ai model contributor · Harmonic

Lineage and corrections

This event attributed to Joonkyung Lee

This event attributed to Jaehyeon Seo

This event attributed to Aletheia (Gemini Deep Think)

This event attributed to Harmonic Aristotle

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 parent of this event

VibeMathed record: Lower Bounds for Multivariate Independence Polynomials evidence for this event

Lower Bounds for Multivariate Independence Polynomials evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Lower Bounds for Multivariate Independence Polynomials — Mathematical Frontier Network