Shenyang AI model developed by DeepSeek contributes to the creation of novel Chinese military aircraft, as confirmed by chief engineer. , and Administrator 2025 May 4