That is actually very interesting, but not directly related to our discussion, except such conjecture illustrates the non fiction and non conventional aspect of the number relations.
But the simple diagonal argument proving that there is no total universal computable function proves this better, by showing that no matter how much axioms we add to our theories, some similar conjectures can remain unsolved for long, if not forever, despite being intuitively clearly either true or false. Note that such a “certainty” does not exist outside the arithmetical (computer science theoretical) realm. I mean the certainty that the proposition are either true or false.
This is curious. The golden mean or φ = ½(1 + √5) is connected to a range of mathematics with exceptional and sporadic groups and algebras. The roots and weights of E8, the Leech group and its lattice Λ_{24} have magnitudes given by φ.