Recently, Taylor, following the ideas of Michael Harris, developed on his work with Laurent Clozel, Michael Harris, and Nick Shepherd-Barron. He has announced that he proved the Sato–Tate conjecture, for elliptic curves with non-integral j-invariant. This partial proof of the Sato–Tate conjecture uses a theorem of Wiles.