ChatGPT 刚刚证明了另一个已有50年历史的数学猜想 笔记