标志着人工智能基本上度过了第二次寒冬，进入第三次繁荣期的是？

标志着人工智能基本上度过了第二次寒冬，进入第三次繁荣期的是？
A、计算机辅助证明了四色定理
B、ALphaGo战胜韩国围棋世界冠军李世石
C、Vapnik等人正式提出统计学习理论
D、IBM深蓝战胜人类世界冠军。
正确答案：IBM深蓝战胜人类世界冠军