中国科学家联合AI突破300年数学难题 开启AI for Science研究新范式