懂天文的刘基，朱请的隐士，刘伯温？