In the case of $\dfrac{1}{7^{800}}$ it's easy, to find the $2^{2020}$ decimal, but what about the simplest of the irrational numbers.

Question: Do we know how to determine the $2^{2020}$ decimal of $\sqrt{2}$?

RL : Research Level