GPT-4得出P≠NP，97轮「苏格拉底式推理」对话破解世界数学难题