Former NFL player quit football at 26 to pursue a PhD in mathematics at MIT; his latest research tackles a 30-year-old math problem