¿Conjeturas interesantes "descubiertas" por computadoras y probadas por humanos?

Question

Hay ejemplos notables de equipos de "probar" los resultados descubierto por los matemáticos, lo que acerca el opuesto:

Hay interesantes conjeturas "descubierto" por los ordenadores y probado por los seres humanos?

Posible ejemplo de la teoría de grafos es "Algunas de las Conjeturas de Graffiti.pc (2004-07)," propuesta por Joseph O'Rourke en otra respuesta.

La pregunta puede no estar bien definido, debido a que "descubrió" es controvertido.

Añadido a Esta pregunta puede ser un duplicado (o refinamiento) de (2) en la Experimental de las Matemáticas como Kristal Cantwell señaló.

Principalmente estoy interesado en ejemplos en los que el programa está diseñado para hacer conjeturas que no se conocen las identidades para el programa y luego se han demostrado.

Answer 1

Gran parte del trabajo inicial en el set de Mandelbrot fue de este tipo. Ves algo extraño en las imágenes de la computadora, luego intentas demostrar que realmente sucede.

Aquí hay un ejemplo: Pi y el conjunto de Mandelbrot . De la conjetura en 1991 al papel en 2001.

Answer 2

Lovasz me contó la siguiente historia interesante. Había leído un documento que contenía una larga lista de conjeturas generadas por computadora, no le gustaban la mayoría, pero de repente encontró una, que resultó ser una pregunta interesante y profunda. Luego se dio cuenta de que los humanos habían hecho la misma pregunta antes. Ver http://oldwww.cs.elte.hu/~lovasz/berlin.pdf .

Answer 3

Alrededor de 1960, Ed Lorenz observó la "dependencia sensible de las condiciones iniciales" en un modelo meteorológico muy simple que estaba ejecutando en una computadora. Más tarde acuñó el término "efecto mariposa" para este fenómeno.

Answer 4

El punto de partida de la teoría matemática de solitones para la Korteweg-de Vries ecuación fue el experimento numérico de Kruskal y Zabusky en 1965, mostrando que los solitones de diferentes amplitudes, de ahí que viajan a diferentes velocidades, cruzaban el uno al otro y resurgido (casi) sin ser molestados. Creo que este es un ejemplo apropiado en este hilo, ya que este es un fenómeno nuevo, totalmente unespected, descubierto por el equipo de simulación, a continuación, rigurosamente comprobadas y ampliamente generalizado para constituir una nueva teoría matemática.

Answer 5

Esto no es precisamente una conjetura, pero el experimento de Fermi-Pasta-Ulam parece ser la primera vez que los matemáticos y físicos se dan cuenta de que la falta de integrales de movimiento no necesariamente conduce al caos o la ergodicidad, allanando así el camino para la teoría KAM.