Comment by getnormality

At the moment we seem to have exactly one guy equipped to do this, and he'll be busy with something else for the next few years: https://www.reddit.com/r/math/comments/176vtju/kevin_buzzard...