650.LLM擅长什么样的数学=找例子与找反例+存在性陈述-证明普遍性定理+Gowers中文全译