OpenAI内部模型已能自主解决前沿数学难题 · AI HOT