Task: Text Categorization
Input (English): Before the honeycomb conjecture, these shapes were the subject of Thomas Hales' proof of the Kepler   conjecture, which gives the most efficient way to pack these shapes into a space. A set consisting  of the complex numbers and a point at infinity is called the Riemann type of this shape. It can   be generated in cylindrical coordinates by setting r 2 + z 2 ["r  squared plus z  squared"] equal to a constant, and this shape can be generated in a coordinate system named for it by setting rho equal  to a constant. Geodesics on this shape are called great circles, and the formula for its volume is  four-thirds pi times radius cubed. Name this three-dimensional figure.
Output (English): Science