Good question. I think we will know very soon, perhaps not for this particular math problem, but they just need to solve another one independently and we'll know for sure. My bet is that they can.