陈丹琦重新定义了文本相似性问题，提出C-STS，GPT-4也不能很好解决