当时，谢晋超结识了后来的中科院院士张景中，并且从他的手里揽下在计算机用吴文俊消元法实现初等几何定理的全部机器证明的工作，而年仅16岁中学生的王小川也顺理成章的成了这个三人小组中的一员。

后来，王小川因为这项工作获得了亿利达青少年发明奖，而这个奖的倡议者就是诺贝尔奖得主杨振宁。不光是享受到了被诺奖得主颁奖的荣誉，王小川还因为参与几何定理机器证明，被当时的副总理李岚清接见。

有意思的是，为了准备总理的接见，王小川提前做了很多技术相关的准备，结果没想到被问到了一个“一分钟能打多少字”的简单问题。而这段有趣的经历，或许也为后来搜狗输入法的诞生，种下了一个命运种子。

在王小川对计算机痴迷的那段时间，信息奥赛（即计算机竞赛）刚刚开始兴起，彼时的中国学生在相关竞赛领域还未获得成绩，因此王小川很快就把计算机竞赛作为了自己的一个主要目标。