Did a solitary mathematician solve a famous conjecture?