以渐进式核心问题驱动数学深度学习