当前位置: 主页 > > 新冠,解封,Worldometer,死亡病例,确诊病例数

新冠,解封,Worldometer,死亡病例,确诊病例数

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