>>746
証明全体をAIで検証すればいいだけでは? 何が不満なの?