 In his papers with M. Hopkins and G. Segal he returned to his earlier interest of K-theory, describing some twisted forms of K-theory with applications in theoretical physics.In October 2016, he claimed a short proof of the non-existence of complex structures on the 6-sphere.His proof, like many predecessors, is considered flawed by the mathematical community, even after the proof was rewritten in a revised form.