El problema booleano de las ternas pitagóricas, enunciado ya hace 35 años, ha sido solucionado por un superordenador Stampede de la Universidad de Texas. Sin embargo, la solución es tan extensa que requiere 200 terabytes, equivalentes a todos los textos digitalizados en poder de la Biblioteca del Congreso, convirtiéndose así en la mayor prueba matemática jamás producida. Si tuviéramos que leer la demostración tardaríamos unos 10.000 millones de años en hacerlo.