TFNP: An Update.

The class TFNP was introduced a quarter of a century ago to capture problems in NP that have a witness for all inputs. A decade ago, this line of research culminated in the proof that the Nash equilibrium problem is complete for the subclass PPAD. Here we review some interesting developments since.