3958
The so-called Weil conjectures were hugely influential from around 1950 ; these statements were later proved by Bernard Dwork , Alexander Grothendieck , Michael Artin , and finally by Pierre Deligne , who completed the most difficult step in 1973 .
 person: Weil; person: Bernard Dwork; person: Alexander Grothendieck; person: Michael Artin; person: Pierre Deligne
Please list all entity words in the text that fit the category.Output format is "type1: word1; type2: word2". 
Option: location, person, organization 
Text: {0} 
Answer:
 person: Weil; person: Bernard Dwork; person: Alexander Grothendieck; person: Michael Artin; person: Pierre Deligne