Suppose Peter Higgs (born 29 May 1929) is a British theoretical physicist, Nobel Prize laureate, and Emeritus Professor at the University of Edinburgh. He is best known for his prediction of the existence of the Higgs boson, confirmed by the ATLAS and CMS experiments at CERN.
Can we infer that "Peter Higgs discovered the Higgs boson."? Yes, no, or maybe?