#1 Las cuatro conjeturas de Weil (racionalidad, ecuación funcional, relación con la hipótesis de Riemann y grado) fueron demostradas en este orden: racionalidad por Bernard Dwork en 1960, ecuación funcional y grado por Alexander Grothendieck en 1965, y relación con la hipótesis de Riemann por Pierre Deligne en 1974 (años de publicación del paper). Deligne sólo fue el primero en demostrar una de las conjeturas, quizás la más difícil.
Por todo ello, #1, creo que afirmar que Deligne demostró la conjetura de Weil que aún quedaba por demostrar en 1973 no es erróneo. Obviamente, es cuestión de opinión.
#1 no soy experto en geometría algebraica, pero no quiero que olvidemos las demostraciones de Dwork y Grothendieck; Deligne no fue el primero en demostrar todas las conjeturas de Weil (solo fue el primero en una de ellas).