OpenAI模型首次自主攻克数学开放难题 · AI HOT