新冠,解封,Worldometer,死亡病例,确诊病例数:王小川：搜狗公司CEO、国内顶尖人工智能专家。1994年，王小川参加“几何定理机器证明”课题研究组，首次在微型机下完成初等几何命题的全部证明。1996年王小川代表中国参加第8届国际信息学奥林匹克竞赛（IOI），并获得金牌。