The weakly interacting system was treated in perturbation theory by K. Huang and his collaborators, who in the 1950s managed to obtain a good understanding of the structure of the perturbative ground state. This was followed by an extensive many-body effort to describe the more strongly interacting helium system in the 1960s, but after this there has been little theoretical progress until recently.