在人类智力竞赛中战胜人类冠军选手的人工智能机器是由（）公司研发的。