AI助力中国学者破解三百余年数学难题