Cientistas vietnamitas impulsionam modelo de matemática de IA para horizontes olímpicos com o AlphaGeometry
- Cientistas vietnamitas, em colaboração com o Google DeepMind, desenvolveram o AlphaGeometry, um modelo de IA matemática capaz de resolver problemas de geometria das Olimpíadas em nível comparável ao de medalhistas de bronze humanos.
- O AlphaGeometry resolveu com sucesso 25 dos 30 problemas de geometria das Olimpíadas Internacionais de Matemática (IMO) realizadas entre 2000 e 2022, superando um renomado sistema da década de 1970 e até mesmo as habilidades de medalhistas de bronze.
- O modelo, uma combinação de um modelo de linguagem neural e um motor simbólico, destaca-se por seu treinamento único em dados sintéticos, permitindo que gere respostas do zero, apresentando potenciais aplicações na educação do ensino médio e além.
Em um avanço notável que desafia as capacidades convencionais da inteligência artificial, três cientistas vietnamitas, Trinh Hoang Trieu, Luong Minh Thang e Le Viet Quoc, alcançaram um marco ao construir um modelo de matemática de IA, chamado AlphaGeometry. Colaborando com uma equipe de especialistas, o trio, todos especialistas em IA no Google DeepMind, conseguiu criar um sistema que não apenas compete, mas supera as capacidades de resolução de problemas de medalhistas de bronze humanos nas Olimpíadas Internacionais de Matemática (IMO). A proeza do AlphaGeometry reside em sua abordagem única de treinamento e resolução de problemas, apresentando um salto significativo no campo da matemática assistida por IA.
O modelo de matemática de IA olímpico
O núcleo do modelo de IA, AlphaGeometry, demonstrou suas capacidades excepcionais ao resolver com sucesso 25 dos 30 problemas de geometria utilizados na IMO de 2000 a 2022. A conquista é particularmente notável quando comparada a um sistema renomado dos anos 1970, acreditado ser o provador de teoremas de geometria mais forte da época, que conseguiu resolver apenas 10 problemas. Este sucesso coloca o AlphaGeometry em uma liga própria, excedendo o desempenho médio de um medalhista de ouro da IMO, que tipicamente resolve 25,9 problemas. O trio, Trieu, Thang e Quoc, expressou sua surpresa com a conquista sem precedentes, enfatizando a complexidade dos problemas matemáticos que muitas vezes envolvem centenas de etapas.
As características distintas do AlphaGeometry residem em sua combinação de um modelo de linguagem neural e um motor simbólico, meticulosamente calibrado para resolver problemas geométricos. O que o diferencia são os dados sintéticos dos quais depende, desprovidos de exemplos humanos, permitindo que o modelo gere respostas de alta qualidade “do nada”. Isso diferencia o AlphaGeometry de outros modelos de IA como ChatGPT ou Gemini, que principalmente encontram respostas existentes ou semelhantes às soluções humanas. O professor Ngo Bao Chau do departamento de Matemática da Universidade de Chicago reconheceu a semelhança de resolver problemas de geometria da IMO com xadrez, destacando a conquista louvável dos pesquisadores de IA.
A jornada para o AlphaGeometry
A gênese do AlphaGeometry pode ser rastreada até 2019, quando Trinh Hoang Trieu concebeu a ideia enquanto procurava um tópico de pesquisa de graduação na Universidade de Nova York. Trieu, ex-aluno da Universidade de Ciências de Ho Chi Minh, imaginou um modelo capaz de resolver problemas geométricos simples. Intrigado com as ideias de Trieu, Le Viet Quoc e Luong Minh Thang, ex-alunos de matemática, juntaram-se ao empreendimento. Trieu, que ingressou no Google DeepMind em 2021, e a equipe trabalharam diligentemente no AlphaGeometry, alcançando um avanço três meses após a resolução de um problema de geometria da IMO.
A equipe vê o AlphaGeometry como mais do que apenas uma maravilha matemática. Trieu sugere seu uso potencial como um sistema de orientação apoiando estudantes do ensino médio com problemas geométricos, marcando um passo em direção à educação assistida por IA. Evan Chen, medalhista de ouro na IMO de 2014 e pesquisador no Instituto de Tecnologia de Massachusetts, expressou surpresa com as capacidades do AlphaGeometry, enfatizando sua dependência de princípios puramente geométricos, diferenciando-o dos métodos convencionais que usam coordenadas e álgebra.
A jornada pioneira do AlphaGeometry na matemática assistida por IA
À medida que o AlphaGeometry assume o centro das palcos com suas capacidades sem paralelo, surge a pergunta: Quais possibilidades aguardam na paisagem da matemática assistida por IA? Com o potencial de ajudar a resolver os sete Problemas do Prêmio Millennium, os pesquisadores antecipam o desenvolvimento contínuo e as aplicações do AlphaGeometry em vários campos. A publicação de seu trabalho na Nature, uma revista prestigiosa, enche Le Viet Quoc de orgulho, destacando o potencial da IA não apenas para resolver problemas matemáticos, mas para impulsionar a humanidade para frente. A abordagem única do AlphaGeometry pode pavimentar o caminho para uma nova era na matemática assistida por IA?
Em um mundo onde as fronteiras da inteligência artificial estão em constante expansão, a criação dos cientistas vietnamitas, AlphaGeometry, serve como um testemunho das possibilidades ilimitadas quando a engenhosidade humana converge com a tecnologia de ponta.
Não apenas leia notícias sobre criptomoedas. Entenda-as. Inscreva-se em nossa newsletter. É grátis.
Aviso Legal. As informações fornecidas não constituem aconselhamento de investimento. Cryptopolitan.com não assume responsabilidade por quaisquer investimentos realizados com base nas informações fornecidas nesta página. Recomendamos fortemente a realização de pesquisa independente e/ou consulta com um profissional qualificado antes de tomar quaisquer decisões de investimento.
Aamir Sheikh
Aamir é um jornalista de tecnologia com quase seis anos de experiência nos setores de criptomoedas e tecnologia. Formou-se na MAJ University com um MBA em Finanças e Marketing. Atualmente trabalha na Cryptopolitan, onde relata os últimos desenvolvimentos nos mercados de criptomoedas e previsões de preços.
