David Roberts, 17 Oct 2013 I'm finally looking at the wepage for the flyspeck project, which is aimed at getting a formal proof... I'm finally looking at…