ResearchMath-14K:通过智能体扩展研究级数学 · AI HOT