Yves Andre has proved the direct summand conjecture, using perfectoid methods.
Update (Sept. 7): Andre’s paper is here, and Bhatt’s shorter proof is here.
Yves Andre has proved the direct summand conjecture, using perfectoid methods.
Update (Sept. 7): Andre’s paper is here, and Bhatt’s shorter proof is here.