Nostr'a Katılın
2025-08-28 08:16:15 UTC
in reply to

John Carlos Baez on Nostr: - interesting! I guess the proof was easier for the noperthedron. I've just vaguely ...

- interesting! I guess the proof was easier for the noperthedron. I've just vaguely gazed at the paper, but it looks like they crafted this polyhedron to carry out a proof that it lacks Rupert's property. They also found a polyhedron that's Rupert but not locally Rupert, whatever that means.

So, someone will gain 15 minutes of fame by proving the rhombicosidodecahedron is non-Rupert.

Just for fun, I conjecture that every convex polyhedron that's sufficiently close to a sphere lacks Rupert's property. Here 'closeness' can be measured using the Gromov-Hausdorff metric.