Как исторически развивалось доказательство обратной теоремы Вейля?

Возможно, имелись в виду гипотезы Вейля, которые привели к многолетней программе по их доказательству и стали одним из достижений алгебраической геометрии XX века. 12

Самый ранний предшественник гипотез Вейля принадлежит Карлу Фридриху Гауссу. 2 В 1949 году Андре Вейль выдвинул гипотезы, которые касались многообразий любой размерности. 13 В момент формулировки никто, включая самого учёного, не понимал, как их доказать: для этого, вероятно, требовалось определить новые математические понятия. 1

Сначала одну из гипотез доказал Б. Дворк, но применить его метод к остальным гипотезам не удалось. 1

Затем А. Гротендик с учениками разработал новые математические понятия, которые были необходимы для работы с гипотезами Вейля, и доказал ещё часть из них. 1

П. Делинь в 1974 году завершил доказательство гипотез Вейля в полном объёме. 1