我看过视频。楼主表述的没错。视频里说了。已经检验过从1到2^68的所有自然数。

如果要找反例，2^68往上。