数学上的前沿研究主要依赖于什么?