ソフトやAIで出来るなら挑戦してみてください
証明問題を出題します

座標平面上の曲線x^3+y^3=26上に有理点が無数に存在することを示せ。