A few years ago, Bhatt-Morrow-Scholze introduced an invariant of
p-adic formal schemes called syntomic cohomology, which has a close
relationship to (étale-localized) algebraic K-theory. In a recent
paper, Antieau-Mathew-Morrow-Nikolaus showed that...