> To me, it's totally within the realm of a 1-10 billion search space, isn't it? A proof of the theorem is going to be at least a few hundred bits, which is to

> To me, it's totally within the realm of a 1-10 billion search space, isn't it? A proof of the theorem is going to be at least a few hundred bits, which is totally out of reach of brute force search. A 10 billion search space only covers 34 bits (less than 5 ASCII symbols) in which you'll struggle to even state the theorem.