A máquina Ramanujan gera conjecturas automaticamente para constantes fundamentais
p Crédito CC0:domínio público
p Uma equipe de pesquisadores do Instituto de Tecnologia de Israel construiu o que eles descrevem como uma máquina Ramanujan - um dispositivo que gera conjecturas automaticamente (afirmações matemáticas propostas como afirmações verdadeiras) para constantes fundamentais. Eles escreveram um artigo descrevendo seu dispositivo e o carregaram para o
arXiv servidor de pré-impressão. Eles também criaram uma página da web para pessoas que desejam permitir que a rede use os ciclos de processo de seu computador, sugerir uma prova ou desenvolver código para novas estruturas matemáticas. p A máquina Ramanujan tem o nome do famoso matemático indiano Srinivasa Ramanujan, um matemático autodidata que cresceu na Índia e foi "descoberto" pelo colega matemático G.H. Hardy. Depois de se mudar para a Inglaterra, ele se tornou uma presença constante em Cambridge, onde ele sacudiu o mundo da matemática com sua matemática pouco ortodoxa, em vez de martelar em provas de matemática, ele obteve resultados para problemas famosos por meio da intuição e depois deixou que outros encontrassem as provas para eles. Por causa disso, ele às vezes era descrito como uma máquina de conjecturas, puxando fórmulas do nada como se tivessem recebido de um ser superior - às vezes em sonhos. Neste novo esforço, os pesquisadores em Israel tentaram replicar essa abordagem usando o poder da computação.
p A máquina Ramanujan é mais um conceito do que uma máquina real - ela existe como uma rede de computadores executando algoritmos dedicados a encontrar conjecturas sobre constantes fundamentais na forma de frações contínuas - estas são definidas como frações de comprimento infinito onde o denominador é certo quantidade mais uma fração, onde uma última fração tem um denominador semelhante, etc.) O objetivo da máquina é apresentar conjecturas (na forma de fórmulas matemáticas) que os humanos podem analisar, e esperançosamente provar ser verdade matematicamente. A equipe que criou a máquina espera que sua ideia inspire futuras gerações de matemáticos - para esse fim, eles observam que quaisquer novos algoritmos, as provas ou conjecturas desenvolvidas por um participante serão nomeadas em sua homenagem. Os pesquisadores observam que sua máquina já descobriu dezenas de novas conjecturas. p © 2019 Science X Network