如何评价 ChatGPT 推翻了一个存在了 22 年的数学猜想，而用户却“去睡