But the three known types of neutrinos are not massive enough to account for all of the universe’s dark matter, so theorists proposed a fourth neutrino that would interact even less with regular matter.