And, if so, could a monkey — given infinite time — type ... In 2003, researchers attempted to let the theorem play out by ...