Conjecture 6.1 (NuevaMirada). If P is a simple 3-polytope with face vector (p_3,p_4,…,p_m), such that ∑_k≥ 7p_k≥ 3, then p_6≥ frac3920+fracp_32-fracp_54-∑_k≥ 7p_k.

IRIS Conjecture 6.1 on simple $3$ -polytopes

About 1 year old · traced to 2025

Conjecture 6.1 (NuevaMirada). If $P$ is a simple $3$ -polytope with face vector $(p_3,p_4,\ldots,p_m)$ , such that $\sum_{k\geq 7}p_k\geq 3$ , then

p_6\geq \frac{39}{20}+\frac{p_3}{2}-\frac{p_5}{4}-\sum_{k\geq 7}p_k.

References

Primary source

Open Math Problems Claimed to Be Solved with AI

geometry-topology

Posted 2 months ago

Progress summary

Refreshed 1 month ago

Open

No public discussion or published progress on this conjecture was found.

Current status (as of March 2026): The conjecture appears open, with no recorded activity.

No solutions have been posted yet.