Antes de la llegada de la computadora a nuestras vidas, los matemáticos “arrastraban el lápiz” continuamente, es decir, las demostraciones se buscaban dando argumentos, deduciendo, induciendo en algunos casos, etcétera. Hoy en día la computadora la usan los matemáticos para ayudarse a probar teoremas o conjeturas no resueltas antes. Una de ellas, por ejemplo, es la conjetura de los cuatro colores, que dice que se necesitan solamente cuatro colores, en un mapa de dos dimensiones, de manera que dos regiones adyacentes (o países) no tengan el mismo color. Hoy en día se acepta que las computadoras pueden ser una buena herramienta para las pruebas matemáticas, sin embargo, en el caso que ahora nos ocupa, se requirieron unos 200 terabytes para lograr la demostración. El problema a resolver se llama el de los triples pitagóricos, el cual es (o fue), un problema abierto en la teoría de Ramsey, el cual dice así: ¿Puede un conjunto de números naturales, 1, 2, 3, … ser dividido en dos partes de tal manera que ninguna de las partes contenga un triple pitagórico? (es decir, que contenga tres números que formen los lados de un triángulo rectángulo de forma que a^2 + b^2 = c^2)