[IsTom]

Not RH being true, but that the proof itself would require discovering and proving something of high interest as an intermediate step.

[Ar-Curunir]

Perhaps, but it’s not clear that would be cryptographically relevant still.