After 400 years, mathematicians find a new class of solid shapes