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.

Result

Disproved

Status

Resolved

AI contribution

AI-discovered

Method

Construction

Field

Polyhedral combinatorics

Posed by

—

Year posed

—

Years open

—

Solved

2026-06-11

Model

Demonstrandum multi-agent pipeline

Vendor

—

Collaborators

—

Verification

Unreviewed

Publication

Announced

Significance

5 / 100*

Disclosed cost

—

Wikipedia

No dedicated article