Esta inteligencia artificial genera nuevas fórmulas matemáticas

Investigadores israelíes se comunicaron recientemente sobre un sistema informático que no es más que un “generador” de conjeturas matemáticas. La inteligencia artificial en el corazón de este sistema ya ha generado varias fórmulas matemáticas desconocidas hasta el día de hoy.

La máquina de Ramanujan

La matemático del mañana es una maquina? Para los ingenieros del Instituto de Tecnología de Israel (Technion), hay pocas dudas. En una reseña publicada en la revista Naturaleza el 3 de febrero de 2021, los investigadores dieron a conocer su “generador” de conjeturas matemáticas: La máquina de Ramanujan. Sin embargo, estas conjeturas – proposiciones matemáticas que requieren ser probadas – son de bases potenciales de teoremas. Recordemos que los teoremas ocupan un lugar importante en la ciencia, lo que a menudo permite orientar la investigación a lo largo de varias décadas.

Según los ingenieros, su máquina trabaja con inteligencia artificial y automatización informática. Esto se basa en constantes que, a diferencia de las variables, son valores fijos. Entre las constantes famosas en el mundo científico, encontramos el número áureo (aproximadamente 1,61803), el número de Euler (aproximadamente 2,71828) o el número Pi (aproximadamente 3,14159).

La destreza de The Ramanujan Machine radica en su uso de constantes en el desarrollo de conjeturas. Sin embargo, con respecto a la historia de las matemáticas, es raro que los teoremas se hayan generado a partir de constantes. Srinivasa Ramanujan (1887-1920), que dio su nombre a la famosa máquina, es un matemático indio relativamente desconocido. Éste, habiendo aprendido matemáticas de forma autodidacta, había conocido cierta gloria por haber elaborado teoremas de las constantes del número Pi y el número de Euler a finales del siglo XIX.

Varias fórmulas ya descubiertas

El secreto radica en la intuición matemática, que los investigadores intentaron recrear con su máquina. Este último atrae correspondencias entre valores numéricos – es decir, los números dentro de las propias constantes – para obtener conjeturas. La meta ? Adéntrate en la estructura profunda de las constantes. Para los científicos israelíes, los resultados son impresionantes, sobre todo porque al sistema no le importan las dificultades con respecto a la prueba de la fórmula o incluso los conocimientos adquiridos en matemáticas.

Desde sus inicios, The Ramanujan Machine ya ha encontrado docenas de fórmulas de conjetura. Algunos de ellos son desconocidos y están relacionados con el número Pi y el número de Euler. Además, el hecho es que el sistema genera conjeturas, pero no proporciona ninguna demostración. De hecho, esta tarea es la de los matemáticos humanos. Algunos ya se han probado con bastante facilidad y otros aún no se han demostrado, suponiendo que los últimos sean ciertos.