Lo experimental-matemático problema que intenta resolver si había una supercomputadora?

Question

En el momento presente, lo que abre problema matemático ¿en serio cree que podría resolver si había un ordenador muy potente a su disposición? Me refiero a algo como la Cuatro-Color de Problema, es decir, que es simple, pero más manejable con una fuerza bruta enfoque de un "teórico".

Answer 1

Para el último de aproximadamente 10 años, William Stein ha sido el mantenimiento de un potente equipo que se pone a disposición de los matemáticos de los proyectos que considera que vale la pena. Hay 2 servidores distintos, cada uno con 16 procesadores core de 3GHz, 128 GB de RAM y 1.5 TB de disco duro; no sé si eso cuenta como "super" en su estimación. Aquí están las especificaciones de lo planeado cuando fue la construcción de la máquina de corriente en el 2008; no he sido capaz de averiguar si se ha actualizado desde entonces. Versiones anteriores de este sistema se remontan a 2002-ish.

Aquí están los problemas que él planeó para que funcione en 2008, y aquí es una actualización de lo que se ha hecho hasta ahora. Él también ha convencido a la mayoría de los investigadores el uso de su máquina para hacer sus directorios legible por todo el mundo, así que usted puede realmente ver la ruptura del suelo de alta computacional de las matemáticas en el progreso.

Answer 2

La determinación de la existencia de un plano proyectivo de orden 12. Esta es, probablemente, manejable con un montón de moderadamente potentes ordenadores, o incluso un par de moderadamente potentes ordenadores y un montón de pensamiento (pero tratamos de evitar que.)