Scholze和Clausen真正厉害的地方，是他们让数学重新‘兼容’了。