国产大模型攻克世界级数学难题，AI正在改写数学研究

国产大模型攻克世界级数学难题，AI正在改写数学研究（摘要待生成）