跟帖OpenAI模型推翻80年的数学经典猜想，引发学界震动