• Home
  • Química
  • Astronomía
  • Energía
  • Naturaleza
  • Biología
  • Física
  • Electrónica
  •  science >> Ciencia >  >> Otro
    La máquina de Ramanujan:los investigadores han desarrollado un generador de conjeturas que crea conjeturas matemáticas

    Crédito:CC0 Public Domain

    Usando IA y automatización informática, Los investigadores del Technion han desarrollado un 'generador de conjeturas' que crea conjeturas matemáticas, que se consideran el punto de partida para el desarrollo de teoremas matemáticos. Ya lo han utilizado para generar una serie de fórmulas previamente desconocidas. El estudio, que fue publicado en la revista Naturaleza , fue realizada por estudiantes de diferentes facultades bajo la tutela del Profesor Asistente Ido Kaminer de la Facultad de Ingeniería Eléctrica Andrew y Erna Viterbi del Technion.

    El proyecto se ocupa de 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 matemáticos y estructuras matemáticas en diferentes campos. Muchas constantes matemáticas son de gran importancia en matemáticas, pero también en disciplinas externas a las matemáticas, incluida la biología, física, y ecología. La proporción áurea y el número de Euler son ejemplos de tales constantes fundamentales. Quizás 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 dia, pi aparece en numerosas fórmulas en todas las ramas de la ciencia, con muchos aficionados a las matemáticas compitiendo por quién puede recordar más dígitos después del punto decimal:3.14159 265358 979323846 26433832795028 841971693 9937510582 0974944592 30781640628620 89986280348 253421170 67982148 0865132823 0664709384 4609550582231725 3594081284 811174502841027019385211 05559644622 9489549303820 ...

    Los investigadores del Technion propusieron y examinaron una nueva idea:el uso de algoritmos informáticos para generar automáticamente conjeturas matemáticas que aparecen en forma de fórmulas para constantes matemáticas.

    Una conjetura es una conclusión o proposición matemática que no ha sido probada; una vez probada la conjetura, se convierte en un teorema. El descubrimiento de una conjetura matemática sobre constantes fundamentales es relativamente raro, y su fuente a menudo se encuentra en el genio matemático y la intuición humana excepcional. Newton, Riemann, Goldbach, Gauss, Euler, y Ramanujan son ejemplos de tal genio, y el nuevo enfoque presentado en el documento lleva el nombre de Srinivasa Ramanujan.

    Ramanujan, un matemático indio nacido en 1887, creció en una familia pobre, Sin embargo, logró llegar a Cambridge a la edad de 26 años por iniciativa de los matemáticos británicos Godfrey Hardy y John Littlewood. A los pocos años cayó enfermo y regresó a la India, donde murió a la edad de 32 años. Durante su breve vida logró grandes logros en el mundo de las matemáticas. Una de las raras capacidades de Ramanujan fue la formulación intuitiva de fórmulas matemáticas no probadas. Por lo tanto, el equipo de investigación de Technion decidió llamar a su algoritmo "la máquina de Ramanujan, "ya que genera conjeturas sin probarlas, "imitando" la intuición mediante la inteligencia artificial y una considerable automatización informática.

    Según el profesor Kaminer, "Nuestros resultados son impresionantes porque a la computadora no le importa si probar la fórmula es fácil o difícil, y no basa los nuevos resultados en ningún conocimiento matemático previo, pero solo en los números en constantes matemáticas. En gran medida, nuestros algoritmos funcionan de la misma manera que el propio Ramanujan, que presentó resultados sin pruebas. Es importante señalar que el algoritmo en sí es incapaz de probar las conjeturas que encontró; en este punto, la tarea queda para que la resuelvan los matemáticos humanos ".

    Las conjeturas generadas por la máquina Ramanujan del Technion han proporcionado nuevas fórmulas para constantes matemáticas conocidas como pi, Número de Euler (e), La constante de Apéry (que está relacionada con la función zeta de Riemann), y la constante catalana. Asombrosamente, Los algoritmos desarrollados por los investigadores del Technion lograron no solo crear fórmulas conocidas para estas famosas constantes, sino al descubrir varias conjeturas hasta ahora desconocidas. Los investigadores estiman que este algoritmo podrá acelerar significativamente la generación de conjeturas matemáticas sobre constantes fundamentales y ayudar a identificar nuevas relaciones entre estas constantes.

    Como se mencionó, hasta ahora, estas conjeturas se basaron en un genio poco común. Por eso, en cientos de años de investigación, sólo se encontraron unas pocas docenas de fórmulas. La máquina Ramanujan del Technion tardó solo unas horas en descubrir todas las fórmulas para pi descubiertas por Gauss, el "Príncipe de las Matemáticas, "durante toda una vida de trabajo, junto con decenas de nuevas fórmulas que Gauss desconocía.

    Según los investigadores, "Ideas similares pueden conducir en el futuro al desarrollo de conjeturas matemáticas en todas las áreas de las matemáticas, y de esta manera proporcionar una herramienta significativa para la investigación matemática ".

    El equipo de investigación ha lanzado un sitio web, RamanujanMachine.com, cuyo objetivo es inspirar al público a participar más en el avance de la investigación matemática al proporcionar herramientas algorítmicas que estarán disponibles para los matemáticos y el público en general. Incluso antes de que se publicara el artículo, cientos de estudiantes, expertos y matemáticos aficionados se habían registrado en el sitio web.

    El estudio de investigación comenzó como un proyecto de pregrado en el Programa de Excelencia Rothschild Scholars Technion con la participación de Gal Raayoni y George Pisha, y continuó como parte de los proyectos de investigación realizados en la Facultad de Ingeniería Eléctrica Andrew y Erna Viterbi con la participación de Shahar Gottlieb, Yoav Harris, y Doron Haviv. Aquí es también donde se realizó el avance más significativo, mediante un algoritmo desarrollado por Shahar Gottlieb, que llevó a la publicación del artículo en Naturaleza . El profesor Kaminer añade que el descubrimiento matemático más interesante realizado por los algoritmos de la máquina de Ramanujan hasta la fecha se relaciona con una nueva estructura algebraica oculta dentro de una constante catalana.

    La estructura fue descubierta por el estudiante de secundaria Yahel Manor, quienes participaron en el proyecto como parte del Programa Alpha para jóvenes orientados a la ciencia. El profesor Kaminer agregó que, "Los colegas de la industria Uri Mendlovic y Yaron Hadad también participaron en el estudio, y contribuyó en gran medida a los conceptos matemáticos y algorítmicos que forman la base de la Máquina Ramanujan. Es importante destacar que todo el proyecto se ejecutó de forma voluntaria, no recibió financiación, y los participantes se unieron al equipo por pura curiosidad científica ".


    © Ciencia https://es.scienceaq.com