Re:How I learned to love and fear the Riemann Hypothesis
by ncmncm on Wednesday January 06, 2021 @03:20AM
(#25655701)
There probably are not.
A successful AlphaProof would be trained to favor shorter proofs. It would be fast enough to prove RH myriad different ways, and not be finished until its proof cannot be shortened any more, just as AlphaGo isn't finished until no version of it can beat it.
Whether humans could understand the shortest possible proof is another question. It might take generations of study just to understand its outline, and many more to extract all the lemmas implied.
Or, it might turn out to be a trivial trick, and not reveal anything new and substantial.
A successful AlphaProof would be trained to favor shorter proofs. It would be fast enough to prove RH myriad different ways, and not be finished until its proof cannot be shortened any more, just as AlphaGo isn't finished until no version of it can beat it.
Whether humans could understand the shortest possible proof is another question. It might take generations of study just to understand its outline, and many more to extract all the lemmas implied.
Or, it might turn out to be a trivial trick, and not reveal anything new and substantial.