The consequences for the functional equation were worked out by Serre and Deligne in the later 1960s; the functional equation itself has not been proved in general.
Следствия из функционального уравнения были разработаны Серром и Делинем в конце 1960-х годов; само функциональное уравнение вообще не доказано.