P=NPってなに
つまり人工知能でプルーフチェッカみたいので証明するやつ作りたいの?