虽然更新了最新的模型astra，但是用不起

比起在sol解决不了的问题上又花时间和花很多token，还不能得到恰好的解决，一些硬骨头还是建议交给astra来啃。效率和正确率不是一般的高。