【第四届吴文俊人工智能科学技术奖上海揭晓】2014“吴文俊人工智能科学技术奖”共评出成就奖1名创新奖7名，进步奖13名。据悉吴文俊开创的数学机械化在国际上被誉为“吴方法”。此后人工智能、并联数控技术等诸多领域取得的重大科研成果，背后都有数学机械化的广泛应用。