chatgpt，把简单证明复杂化