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

来源：第一财经 · yicai.com