Must have chafed him some this went unsolved for the rest of his time. On the other hand, if it wasn't going to get solved during my lifetime, then I definitely would have liked to have thought it will take centuries and a non-human form of intelligence.