你支持数学界抵制OpenAI吗有时用AI能凑出过程，有时又不行