「可能性があるらしい」から
「絶対見つけることが出来る」という結論は出ないと思う
円周率に0が100個続く列があるか、ってのは証明が難しいんじゃなかったか