Руст "Похоже что все правильно".
Ага

Почему бы ему сперва не доказать гипотезу Римана

Не без основания. Руст писал, что для доказательства бесконечности близнецов требуется доказательство более сильной равномерности распределения простых чисел, чем равномерность в среднем, которая эквивалентна гипотезе Римана.
Надо понимать, что там доказывается бесконечность "близнецов" в более широком смысле. Точнее там доказывается следующее утверждение:

Отсюда следует, что существует четное

, что пар простых

бесконечно много.
Когда я говорил о необходимости более сильной равномерности для доказательство бесконечности близнецов, я имел ввиду необходимость для доказательства следующего:

бесконечное множество.
Этого нельзя доказать приведенными в статье методами.