本研究将OptVerse AI Solver整合进华为云，通过机器学习技术解决数学规划实例的稀缺性，并超越传统优化技术。研究展示了生成复杂实例的方法，提出了增强策略的训练框架，以及基于机器学习的个性化求解器策略。ML-augmented OptVerse AI Solver在速度和准确性上表现更好。机器学习技术在数学规划求解器中具有实际必要性和有效性。