“Đó là một cuộc đối đầu giữa con người và máy móc – và nhiều nhà toán học, những người mà trực giác và logic đầy sức thuyết phục đã là công cụ nghề nghiệp của họ suốt nhiều thế kỷ, lại cảm thấy một cảm giác kỳ lạ khi nghĩ đến các chứng minh bằng máy tính.”