IRIS Conjecture 6.1 on Simple 3-Polytopes
For a simple $3$-polytope with at least three faces of size at least $7$, must $p_6 \ge \frac{39}{20} + \frac{p_3}{2} - \frac{p_5}{4} - \sum_{k \ge 7} p_k$? Five minimal ten-face counterexamples refute the printed inequality.
Exact FrontierDelta
Scope and record
Occurred: Jun 11, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: IRIS Conjecture 6.1 on Simple 3-Polytopes · IRIS 6.1
Confidence: Not scored
Registry verification: unreviewed · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Demonstrandum multi-agent pipeline
model · ai model contributor
Lineage and corrections
This event attributed to Demonstrandum multi-agent pipeline