Hay un número finito (y no inimaginablemente grande) conjunto de cuadros, que si sabíamos cómo empacar los cajas en el maletero de su coche, entonces también nos gustaría saber una prueba de la Riemann Hipótesis. En efecto, cada prueba formal de la Hipótesis de Riemann con en la mayoría de los (decir) de un millón de símbolos corresponde a alguna forma de embalaje de las cajas en su tronco, y viceversa. Además, una lista de los cuadros y sus dimensiones pueden ser factible escrito abajo.
Su posterior comentó a explicar de dónde sacó esto de: "3-dimensional bin-packing es NP-completo."
No veo cómo estos dos están relacionados.
Otra pregunta inspirado por el mismo artículo está aquí.
