генератора, с математически строгим доказательством неотличимости его последовательностей от случайных
Любой алгоритмический не таков...
Если рассматривать генерацию бесконечных последовательностей, то да, но если ограниченных, то теоретического ограничения, как видится, нет. Другое дело, что понятие случайности конечной последовательности более неопределенное, чем бесконечной (для последней есть разумный критерий случайности - прохождение ею всех
алгоритмически реализуемых статистических тестов, что, если мне не изменяет память, равносильно линейному росту колмогоровской сложности префиксов этой последовательности).