p Usando IA e automação por computador, Os pesquisadores do Technion desenvolveram um 'gerador de conjecturas' que cria conjecturas matemáticas, que são considerados o ponto de partida para o desenvolvimento de teoremas matemáticos. Eles já o usaram para gerar várias fórmulas até então desconhecidas. O estudo, que foi publicado no jornal Natureza , foi realizado por alunos de graduação de diferentes faculdades sob a tutela do Professor Assistente Ido Kaminer da Faculdade de Engenharia Elétrica Andrew e Erna Viterbi do Technion. p O projeto lida com um dos elementos mais fundamentais da matemática - constantes matemáticas. Uma constante matemática é um número com um valor fixo que emerge naturalmente de diferentes cálculos matemáticos e estruturas matemáticas em diferentes campos. Muitas constantes matemáticas são de grande importância na matemática, mas também em disciplinas externas à matemática, incluindo biologia, física, e ecologia. A proporção áurea e o número de Euler são exemplos dessas constantes fundamentais. Talvez a constante mais famosa seja pi, que foi estudado nos tempos antigos no contexto da circunferência de um círculo. Hoje, pi aparece em inúmeras fórmulas em todos os ramos da ciência, com muitos aficionados da matemática competindo para ver quem consegue lembrar mais dígitos após o ponto decimal:3,14159 265358 979323846 26433832795028 841971693 9937510582 0974944592 30781640628620 89986280348 253421170 67982148 0865132823 0664709384 4609550582231725 3594081284 811174502841027019385211 05559644622 9489549303820 ...

p Os pesquisadores do Technion propuseram e examinaram uma nova ideia:o uso de algoritmos de computador para gerar automaticamente conjecturas matemáticas que aparecem na forma de fórmulas para constantes matemáticas.

p Uma conjectura é uma conclusão ou proposição matemática que não foi provada; uma vez que a conjectura é provada, torna-se um teorema. A descoberta de uma conjectura matemática sobre constantes fundamentais é relativamente rara, e sua fonte frequentemente reside no gênio matemático e na excepcional intuição humana. Newton, Riemann, Goldbach, Gauss, Euler, e Ramanujan são exemplos desse gênio, e a nova abordagem apresentada no artigo tem o nome de Srinivasa Ramanujan.

p Ramanujan, um matemático indiano nascido em 1887, cresceu em uma família pobre, mas conseguiu chegar a Cambridge aos 26 anos por iniciativa dos matemáticos britânicos Godfrey Hardy e John Littlewood. Dentro de alguns anos ele adoeceu e voltou para a Índia, onde morreu aos 32 anos. Durante sua breve vida, ele realizou grandes conquistas no mundo da matemática. Uma das raras capacidades de Ramanujan era a formulação intuitiva de fórmulas matemáticas não comprovadas. A equipe de pesquisa do Technion, portanto, decidiu nomear seu algoritmo "a Máquina Ramanujan, "pois gera conjecturas sem prová-las, por "imitar" a intuição usando IA e considerável automação por computador.

p De acordo com o Prof. Kaminer, "Nossos resultados são impressionantes porque o computador não se importa se provar a fórmula é fácil ou difícil, e não baseia os novos resultados em qualquer conhecimento matemático anterior, mas apenas nos números em constantes matemáticas. Em grande medida, nossos algoritmos funcionam da mesma maneira que o próprio Ramanujan, que apresentou resultados sem provas. É importante ressaltar que o próprio algoritmo é incapaz de provar as conjecturas que encontrou - neste ponto, a tarefa é deixada para ser resolvida por matemáticos humanos. "

p As conjecturas geradas pela máquina Ramanujan do Technion forneceram novas fórmulas para constantes matemáticas bem conhecidas, como pi, Número de Euler (e), A constante de Apéry (que está relacionada à função zeta de Riemann), e a constante catalã. Surpreendentemente, os algoritmos desenvolvidos pelos pesquisadores do Technion tiveram sucesso não apenas na criação de fórmulas conhecidas para essas famosas constantes, mas descobrindo várias conjecturas até então desconhecidas. Os pesquisadores estimam que este algoritmo será capaz de acelerar significativamente a geração de conjecturas matemáticas sobre constantes fundamentais e ajudar a identificar novas relações entre essas constantes.

p Como mencionado, até agora, essas conjecturas foram baseadas em gênio raro. É por isso que em centenas de anos de pesquisa, apenas algumas dezenas de fórmulas foram encontradas. A Máquina Ramanujan do Technion levou apenas algumas horas para descobrir todas as fórmulas para pi descobertas por Gauss, o "Príncipe da Matemática, "durante uma vida inteira de trabalho, junto com dezenas de novas fórmulas desconhecidas para Gauss.

p De acordo com os pesquisadores, "Ideias semelhantes podem, no futuro, levar ao desenvolvimento de conjecturas matemáticas em todas as áreas da matemática, e, desta forma, fornecer uma ferramenta significativa para a pesquisa matemática. "

p A equipe de pesquisa lançou um site, RamanujanMachine.com, que se destina a inspirar o público a se envolver mais no avanço da pesquisa matemática, fornecendo ferramentas algorítmicas que estarão disponíveis para os matemáticos e para o público em geral. Mesmo antes de o artigo ser publicado, centenas de alunos, especialistas, e matemáticos amadores haviam se inscrito no site.

p O estudo de pesquisa começou como um projeto de graduação no Programa de Excelência Rothschild Scholars Technion, com a participação de Gal Raayoni e George Pisha, e continuou como parte dos projetos de pesquisa conduzidos na Faculdade de Engenharia Elétrica Andrew e Erna Viterbi com a participação de Shahar Gottlieb, Yoav Harris, e Doron Haviv. É aqui também que o avanço mais significativo foi feito - por um algoritmo desenvolvido por Shahar Gottlieb - que levou à publicação do artigo em Natureza . O Prof. Kaminer acrescenta que a descoberta matemática mais interessante feita pelos algoritmos da Máquina Ramanujan até agora está relacionada a uma nova estrutura algébrica oculta dentro de uma constante catalã.

p A estrutura foi descoberta pelo estudante Yahel Manor, que participaram do projeto como parte do Programa Alpha para jovens voltados para a ciência. O Prof. Kaminer acrescentou que, "Os colegas da indústria Uri Mendlovic e Yaron Hadad também participaram do estudo, e contribuiu muito para os conceitos matemáticos e algorítmicos que formam a base para a Máquina Ramanujan. É importante ressaltar que todo o projeto foi executado de forma voluntária, não recebeu financiamento, e os participantes se juntaram à equipe por pura curiosidade científica. "