就连通过超算一一排查的方式都无法实行。因此，我和我的团队便进行商讨，如何通过一定的转换，将这个本身允许反例的ABC猜想，转换成一个不允许反例存在的猜想。”

听到这个思路，下面不少数学家都是眼睛一亮。

程诺这个想法，虽然听起来很天马行空，但从理论上来讲，是完全具有可行性的。

一旦将ABC猜想转化为一个不允许反例存在的猜想，那许多常规的手段，便可以使用到这个猜想上面。