Two years ago I linked to a post by Adam Goucher, solving an old MathOverflow question by showing that it is possible to find a dodecahedron, combinatorially equivalent to a regular one, with rational coordinates, inscribed in a unit sphere. But now there are infinitely many! Some messy algebra, and then some work with elliptic curve group operations, eventually simplifies down to a parametric family with a dodecahedron for each integer right triangle. See https://cp4space.hatsya.com/2022/06/20/infinitely-many-rational-dodecahedra/
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!