Un equipo de investigadores del Instituto de Tecnología de Israel ha construido lo que describen como una máquina Ramanujan:un dispositivo que genera automáticamente conjeturas (enunciados matemáticos que se proponen como enunciados verdaderos) para constantes fundamentales. Han escrito un artículo que describe su dispositivo y lo han subido a la arXiv servidor de preimpresión. También han creado una página web para las personas que desean permitir que la red utilice los ciclos de proceso de su computadora. Sugerir una prueba o desarrollar código hacia nuevas estructuras matemáticas.

La máquina Ramanujan lleva el nombre del famoso matemático indio Srinivasa Ramanujan, un matemático autodidacta que creció en la India y fue "descubierto" por su colega matemático G.H. Resistente. Después de mudarse a Inglaterra, se convirtió en un fijo en Cambridge, donde sacudió el mundo de las matemáticas con sus matemáticas poco ortodoxas, en lugar de machacar pruebas matemáticas, obtuvo resultados para problemas famosos a través de la intuición y luego dejó que otros encontraran las pruebas para ellos. Debido a esto, a veces se lo describía como una máquina de conjeturas, sacar fórmulas de la nada como si las recibieran de un ser superior, a veces en sueños. En este nuevo esfuerzo, los investigadores en Israel han tratado de replicar este enfoque utilizando potencia informática.

La máquina de Ramanujan es más un concepto que una máquina real; existe como una red de computadoras que ejecutan algoritmos dedicados a encontrar conjeturas sobre constantes fundamentales en forma de fracciones continuas; estas se definen como fracciones de longitud infinita donde el denominador es un cierto cantidad más una fracción, donde una última fracción tiene un denominador similar, etc.) El propósito de la máquina es proponer conjeturas (en forma de fórmulas matemáticas) que los humanos puedan analizar, y es de esperar que demuestre ser cierto matemáticamente. El equipo que creó la máquina espera que su idea inspire a las generaciones futuras de matemáticos; con ese fin, notan que cualquier algoritmo nuevo, las pruebas o conjeturas desarrolladas por un participante llevarán su nombre. Los investigadores señalan que su máquina ya ha descubierto docenas de nuevas conjeturas.

© 2019 Science X Network