案例研究：富有“创意”的数学 —— AI 是如何伪造证明过程的