生成AIって基本的に質問者におもねった回答をするから当てにならないところがある。例えば証明にギャップがあるのなら、それが解消されない限りその証明は間違いだろ。