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/c

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_got_a_research_grant_to_begin_the/ https://www.reddit.com/r/math/comments/176vtju/kevin_buzzard...