I repeatedly heard that K(F_1) is the sphere spectrum. Does anyone know about the proof and what that means?