Um grupo de pesquisadores da Technion e da Google em Israel, apresentaram um sistema de conjeturar, ou presupor, novas fórmulas matemáticas. Em homenagem ao famoso Srinivasa Ramanujan, o sistema se chama Máquina Mamanujan. Ela vem desenvolvendo centenas de fórmulas dentro da teoria dos números, a maioria sem nenhum treinamento formal. Já temos diversas fórmulas de constantes universais que aparecem na Matemática. O trabalho já foi publicado na revista Nature.
Por exemplo, uma delas foi feita para computar o valor de uma constante universal chamado de número de Catalunha, e já foi provada ser mais eficiente que os próprios humanos em suas fórmulas tradicionais. Ou seja, além de criar essas fórmulas, vai dar apoio a estudos já existentes.
