In 2013 a new user took an online math forum by storm with unproved answers. Today they’re an urban legend. But who were they?