At 17, Hannah Cairo solved a major math mystery