Beauville and I proved that an algebraic K3 surface $S$ has a 0-cycle which is canonically defined modulo rational equivalence, and has the property that the intersection of any two divisors on $S$ is proportional to it. I will review a number of properties of this cycle, some of which have been discovered by Huybrechts in his study of spherical objects in the derived category of $S$.