A Counterexample to Ziegler's Cross-Polytope Conjecture for Simplicial 0/1-Polytopes — mentioned by traes

Sat, 01 Aug 2026 10:18:11 GMT

There is money in this, so of course the closed models are far ahead. The open models will likely catch up a bit at some point, just as Stockfish caught up to AlphaZero. That being said, there are already a couple. It seems Deepseek has a claimed proof to the "Ziegler's Cross-Polytope Conjecture" [0], but I can't speak to the significance of the result. [0] https://arxiv.org/abs/2606.31640

Paper and discussion history. A mention is not an endorsement.

A Counterexample to Ziegler's Cross-Polytope Conjecture for Simplicial 0/1-Polytopes · HackerPapers discussions

A Counterexample to Ziegler's Cross-Polytope Conjecture for Simplicial 0/1-Polytopes — mentioned by traes