#大语言模型 P≠NP 苏格拉底式推理 数学难题 LLM 科学研究