AIに推論させると数分で解読できる問題を長い時間かけて研究・証明とかしょーもない