Investigadores del Colegio Tecnológico de Israel (Technion) han usado inteligencia artificial y automatización para crear un generador de conjeturas capaz de crear estos incidentes matemáticos que son la base de los teoremas. Las conclusiones de lo que sus autores, Alumnas de diferentes facultades bajo la tutela del maestro asistente Ido Kaminer, de la Facultad de Ingeniería Eléctrica Andrew; y Erna Viterbi, del Technion, han bautizado De exactamente la misma manera que la «máquina de Ramanujan», se acaban de publicar en la gaceta “Nature”. El proyecto trata sobre uno de los elementos más fundamentales de las matemáticas: las constantes matemáticas. Una constante matemática es un número con un valor fijo que surge naturalmente de diferentes cálculos y estructuras matemáticas en diferentes sectores, No obstante son aplicables a otros ámbitos De La misma manera que la biología, la física o la ecología. Por poner un ejemplo, la proporción áurea y el número de Euler son ejemplos de semejantes constantes fundamentales. Pero posiblemente la constante más famosa es pi, que se estudió en la antigüedad en el contexto de la circunferencia de un círculo. Hoy en día, pi aparece en numerosas fórmulas en todas y cada una de las ramas de la ciencia, y De la misma forma inclusive muchos hinchas a las matemáticas compiten por quién puede recordar más dígitos a continuación del punto decimal. Qué es una conjetura matemática Volviendo al estudio, lo cual los investigadores de Technion proponen es una inédita idea: utilizar algoritmos informáticos para producir automáticamente conjeturas matemáticas que figuran De esta manera tal como fórmulas para constantes matemáticas. Por partes: una conjetura es una conclusión o proposición matemática que no ha sido probada; En el momento en que se demuestra la conjetura, se convierte en un teorema. Es decir, son la base de las teorías matemáticas. El descubrimiento de una conjetura matemática sobre constantes fundamentales es parcialmente raro, y a menudo surge de la genialidad de un matemático o bien de una intuición o inspiración repentinas. De este modo lo demostraron Newton, Riemann, Goldbach, Gauss, Euler o el propio Ramanujan, que está dando nombre a esta máquina. Srinivasa Ramanujan, un matemático indio nacido en 1887, creció en una familia pobre, Sin embargo consiguió llegar a Cambridge a los 26 años por empeño de los matemáticos británicos Godfrey Hardy y John Littlewood, que vieron en él a un genio autodidacta que había llegado a conclusiones matemáticas muy avanzadas sin apenas instrucción. A los pocos años cayó enfermo y volvió a la India, donde murió a la edad de 32 años. Si bien, A pesar de su breve vida, logró grandes hazañas en el mundo de las matemáticas. Una de las raras capacidades de Ramanujan viajó la formulación intuitiva de fórmulas matemáticas no probadas, De la misma forma que ahora puede hacer esta inédita máquina. Es decir, la máquina de Ramanujan «imita» la intuición humana (o bien la del propio Ramanujan) utilizando inteligencia artificial y un alto grado de automatización informática. Producir conjeturas sin poder demostrarlas Según explica Kaminer: «Al ordenador no le importa si probar la fórmula es simple o difícil, y no basa los nuevos resultados en ningún conocimiento matemático previo, Sino más bien que Solo en los números de las constantes matemáticas. En gran medida, nuestros algoritmos funcionan Tal y como el propio Ramanujan, quien anunció resultados sin pruebas». El cantautor a su vez especifica que el algoritmo es incapaz de probar las conjeturas que Halló, por lo que «esta tarea queda relegada a los matemáticos humanos». Las conjeturas generadas por este mecanismo han averiguado nuevas fórmulas para constantes matemáticas conocidas Al idéntico que pi, el número de Euler, la constante de Apéry (que está relacionada con la función zeta de Riemann) y la constante de Catalan. Sorprendentemente, los algoritmos desarrollados por los investigadores lograron no Solo crear fórmulas conocidas para estas famosas constantes, Sino más bien más bien Asimismo ubicar Varios conjeturas que Hasta ahora eran desconocidas. Los estudiosos estiman que este algoritmo podrá acelerar significativamente la generación de conjeturas matemáticas acerca de constantes fundamentales y ayudar a identificar nuevas relaciones entre estas constantes. Más eficaz que el «príncipe de las matemáticas» De hecho, en cientos de años de investigación, Sólo se han encontrado unas pocas docenas de fórmulas. Por ejemplo, Gauss tardó toda una vida en ubicar las fórmulas para pi. La máquina de Ramanujan tardó Sólo unas horas, e inclusive descubrió docenas más que el apodado De este modo como «príncipe de las matemáticas» no tuvo tiempo de ubicar. Conforme los investigadores, «ideas similares pueden llevar en el futuro al crecimiento de conjeturas matemáticas en todas y cada una de las áreas de las matemáticas y, En este sentido, proporcionar una herramienta significativa para la investigación matemática». El club de investigación ha lanzado una web cuyo objetivo es inspirar al público a participar más en el avance de la investigación matemática proporcionando herramientas algorítmicas que se encontrarán disponibles para los matemáticos y el público Normalmente. Incluso Antes de la publicación del artículo, cientos y cientos de Estudiantes, expertos y matemáticos hinchas se habían registrado. Y los esfuerzos ya están dando sus frutos: un Pupilo de secundaria llamado Yahel Manor ha conseguido descubrir Debido a la máquina de Ramanujan una nueva estructura algebraica oculta dentro de una constante de Catalan.