2018 PKU Workshop on Pure Mathematics