lobsters__fanf@crustaceanson.theshelf.topM to Lobsters - all tags@crustaceanson.theshelf.topEnglish · 15 days ago[math, vibecoding] noperts: Reproducible proofs of non-Rupert polyhedralockgithub.comexternal-linkmessage-square1linkfedilinkarrow-up11file-text
arrow-up11external-link[math, vibecoding] noperts: Reproducible proofs of non-Rupert polyhedralockgithub.comlobsters__fanf@crustaceanson.theshelf.topM to Lobsters - all tags@crustaceanson.theshelf.topEnglish · 15 days agomessage-square1linkfedilinkfile-text
minus-squarelobsters__fanf@crustaceanson.theshelf.topOPMlinkfedilinkarrow-up1·15 days agoThis features the newly-discovered “septopert”, a seven-vertex noperthedron, and a proof that this is the fewest vertices possible for a noperthedron. Previously: Rupert’s property: cut a hole in a polyhedron big enough for an identical copy to slide through Rupert’s Snub Cube and other Math Holes score 2 · canonical
This features the newly-discovered “septopert”, a seven-vertex noperthedron, and a proof that this is the fewest vertices possible for a noperthedron.
Previously:
score 2 · canonical