Mathematicians now have a formidable tool for breaking open challenging problems, but working out how best to use it isn't going to be easy