Can someone give me a nice example of two computable real numbers which are believed but not proved to be equal?

I never really understood the assertion that "the reals do not have decidable equality" until I saw concrete examples such as this gem. It's clear that both sides are well-defined real numbers, however it's not at all clear how one might go about proving their equality. However, perhaps a little disappointingly, on page 10 of this article by Bailey, Borwein, Broadhust and Zudilin, the equality is proved (and that article appeared on ArXiv before Stanley's post).

It's very easy to give "silly" examples of real numbers which are probably equal but not provably equal, e.g. the real number which is 0 if the Birch and Swinnerton-Dyer conjecture is true and 1 if not, is probably equal to zero, but we can't prove it. So for the pedants, can anyone give me an example of two computable real numbers whose equality is believed, but not known? More informally, I am looking for an example like the one Richard Stanley mentions in the link above where computer scientists can compute both sides to a gazillion decimal places but mathematicians can't prove equality rigorously? Stanley calls such things rare. Several potential examples are mentioned on p13 of the BBBZ paper I cited above, however that paper was written ten years ago and things seem to move fast in this area. Are any of these still open? It looks to me like the authors are developing techniques which might solve them. For example equation (10): if

$$Cl_2(\theta):=-\int_0^\theta\log|2\sin(\sigma)|d\sigma$$

and $\theta_2:=2\tan^{-1}(\sqrt{2})$ then is

$$27Cl_2(\theta_2)−9Cl_2(2\theta_2) + Cl_2(3\theta_2)= 8Cl_2(\pi/4)+ 8Cl_2(3\pi/4)$$ still an open problem?

28more comments