Двадцать с лишним лет прошло, а всё ещё не перевели. Что ж так?
1. Очень большой объём.
2. Для перевода (особенно с точной передачей тонкостей и деталей), нужны очень высококлассные и редкие специалисты.
3. По сути, никому не нужно, потому что те, кто могли бы прочитать и понять доказательство, без проблем читают его на английском языке.
Кстати официально есть только одно доказательство?
Официально есть несколько публикаций, дополняющих друг друга и закрывающих пробелы, и никто ещё даже не сводил их воедино.