Generar conjeturas sobre las constantes fundamentales con la máquina de Ramanujan

Área de la Ciencia:

• * Matemáticas y ciencias computacionales, con aplicaciones en física, biología y química.

Sus antecedentes:

• * Los descubrimientos de nuevas fórmulas matemáticas relacionadas con las constantes fundamentales (por ejemplo, pi, e) han sido históricamente raros y esporádicos.
• * Tales descubrimientos a menudo se basaban en el ingenio matemático o la intuición profunda, en lugar de métodos sistemáticos.

Objetivo del estudio:

• * Proponer un enfoque sistemático basado en algoritmos para el descubrimiento de fórmulas matemáticas para las constantes fundamentales.
• * Revelar las estructuras matemáticas subyacentes y complementar las metodologías tradicionales basadas en pruebas.

Principales métodos:

• * Desarrollo y aplicación de la "máquina Ramanujan", utilizando algoritmos para identificar nuevas fórmulas.
• * Implementación de una variante de algoritmo de encuentro en el medio y un algoritmo de optimización de descenso de gradiente a medida.
• * Los algoritmos se basan en la correspondencia de valores numéricos, lo que permite la generación de conjeturas sin conocimientos estructurales previos.

Principales resultados:

• * Descubrimiento de numerosas fórmulas conocidas y previamente desconocidas, incluidas las representaciones de fracciones continuas para pi, e, la constante de Catalan y los valores de la función zeta de Riemann.
• * Generación de conjeturas matemáticas, algunas fácilmente demostrables y otras que siguen siendo problemas abiertos.
• * Demostración de la eficacia de los algoritmos para descubrir estructuras de constantes con fundamentos matemáticos desconocidos.

Conclusiones:

• * La máquina Ramanujan ofrece un método sistemático para el descubrimiento de fórmulas matemáticas, aumentando la intuición humana.
• * Este enfoque algorítmico invierte la lógica convencional en las pruebas mediante el uso de datos numéricos para revelar estructuras.
• * La metodología ofrece nuevas vías para la investigación matemática, en particular para las constantes con propiedades desconocidas.