OpenAI reports a cylinder-covering counterexample for a regular tetrahedron
- Mathematics
A regular tetrahedron has a finite cylinder cover with compact triangular perpendicular bases whose total area is strictly less than half its minimum orthogonal projection area.