他,让数学解决关键“卡脖子”难题