全局性，并且获得了该奖。而计算机科学家Vaughan Pratt后来宣称已经发现该证明推理中的一个错误。对此，Stephen、Smith和其他人与Pratt的推理进行了辩论。
计算知识引擎.2009年3月，斯蒂芬宣布Wolfram Alpha的发行。沃尔夫勒姆阿尔法作为一个知识型计算搜索引擎，采用新方法提取信息，并具有易于使用的界面。Wolfram Alpha不是一个简单的搜索引擎，因为它不是简单地返回基于查询条件的结果，而且尝试通过计算获得结果来输出。Wolfram Alph