A convex polyhedron without Rupert's property · HackerPapers discussions

A convex polyhedron without Rupert's property — mentioned by fsckboy

Sun, 07 Dec 2025 07:38:34 GMT

this video is new and an easy watch, based on this paper which has been on here before https://arxiv.org/pdf/2508.18475 and here's the Tom7 video he recommends if you want to go deeper https://www.youtube.com/watch?v=QH4MviUE0_s

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

A convex polyhedron without Rupert's property — mentioned by reuben364

Mon, 10 Nov 2025 09:28:06 GMT

I'm working on formalizing https://arxiv.org/pdf/2508.18475 (A convex polyhedron without Rupert's property) in Lean4 I'm only on lemma 11 at this point, and up until that point the paper has been fairly easy to formalize (modulo my unfamiliarity with mathlib). The repo is here https://github.com/badly-drawn-wizards/noperthedron

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

A convex polyhedron without Rupert's property — mentioned by andy99

Sat, 25 Oct 2025 01:06:38 GMT

This was discussed on HN previously https://news.ycombinator.com/item?id=45057561 And I thought that the paper http://arxiv.org/abs/2508.18475 had also been discussed but can’t find it so could be wrong

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

A convex polyhedron without Rupert's property — HN submission

Fri, 24 Oct 2025 14:12:00 GMT

First convex polyhedron found that can't pass through itself

https://arxiv.org/abs/2508.18475 Rupert's snub cube and other Math Holes - https://news.ycombinator.com/item?id=45261566 - Sept 2025 (10 comments) Rupert's Property - https://news.ycombinator.com/item?id=45057561 - Aug 2025 (23 comments)

547 points; 163 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A convex polyhedron without Rupert's property — HN submission

Sat, 30 Aug 2025 15:40:30 GMT

A convex polyhedron without Rupert's property

14 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A convex polyhedron without Rupert's property — HN submission

Wed, 27 Aug 2025 16:43:43 GMT

A convex polyhedron without Rupert's property

28 points; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.