Te gustan las matemáticas? No te pierdas esto!

Te gustan las matemáticas? No te pierdas esto! Es que usando inteligencia artificial y automatización de computadoras, investigadores de Israel han desarrollado un “generador de conjeturas”.

Este sistema crea conjeturas matemáticas, que se consideran el punto de partida para desarrollar teoremas matemáticos.

Fórmulas previamente desconocidas.
El estudio, se publico en la revista Nature, y lo realizaron por estudiantes de diferentes facultades bajo la tutela del profesor asistente Ido Kaminer.

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 matemáticos y estructuras matemáticas en diferentes campos.

Muchas constantes matemáticas son de gran importancia en las matemáticas, pero también en disciplinas externas a las matemáticas, como la biología, la física y hasta la ecología.

La proporción áurea y el número de Euler son ejemplos de tales constantes fundamentales.

Pi, la constante más famosa.
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, pi aparece en numerosas fórmulas en todas las ramas de la ciencia. Muchos aficionados a las matemáticas compiten por quién puede recordar más dígitos después del punto decimal:

3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102253594081284811174502841022094859 …

Los investigadores 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 que se prueba 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.

Los grandes genios de las matemáticas.
Newton, Riemann, Goldbach, Gauss, Euler y Ramanujan son ejemplos de tal genio, y el nuevo enfoque presentado en el artículo lleva el nombre de Srinivasa Ramanujan.

Ramanujan, un matemático indio nacido en 1887, creció en una familia pobre, pero 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 enfermó 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, al “imitar” la intuición utilizando IA y una considerable automatización informática.

A la computadora no le importa si es fácil o difícil.
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, sino solo en los números de las 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í mismo es incapaz de probar las conjeturas que encontró; en este punto, la tarea debe ser resuelta por matemáticos humanos”.

Las conjeturas generadas por la máquina Ramanujan han proporcionado nuevas fórmulas para constantes matemáticas conocidas como pi, el número de Euler (e), la constante de Apéry (que está relacionada con la función zeta de Riemann) y la constante catalana.

Conjeturas que hasta ahora eran desconocidas.
Sorprendentemente, los algoritmos desarrollados por los investigadores del Technion lograron no solo crear fórmulas conocidas para estas famosas constantes, sino también descubrir varias conjeturas que hasta ahora eran 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 basaban en un genio poco común.

Es por eso que en cientos de años de investigación, solo 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 docenas de fórmulas nuevas que Gauss desconocía.

El futuro de las matemáticas.
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 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, quien participó en el proyecto como parte del Programa Alpha para jóvenes orientados a la ciencia.

Fuente: Latam Israel.