OpenAI模型自主解决80年数学猜想 · AI HOT