解説

ABCに関してそれぞれ代数を入力し
実際にいくつか成立するか試行してみる。

その結果ある程度のでかい数の値を発見することに成功はしたが
どのようなメカニズムで発見されるに今まで至っていなかった。
しかしこれが証明されると

スーパーコンピュータで立式さえ入力すれば
力任せで無限に探索することが可能になる。
CPUパワーが増えれば増えるほど発見しやすくなる