這項(xiàng)由南京航空航天大學(xué)的張馳宇、我們才能構(gòu)建出真正安全可靠的航空航天何讓AI系統(tǒng)