Home Online Mathematical Communication Gowers's Weblog Announcing an automatic theorem proving project