Cientistas vietnamitas impulsionam modelo matemático de IA para horizontes olímpicos com AlphaGeometry

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 matemático de IA, chamado AlphaGeometry. Colaborando com uma equipe de especialistas, o trio, todos especialistas em IA do Google DeepMind, conseguiu criar um sistema que não apenas compete, mas supera as habilidades de resolução de problemas de medalhistas de bronze humanos nas Olimpíadas Internacionais dematic(IMO). A proeza do AlphaGeometry reside em sua abordagem única para treinamento e resolução de problemas, representando um salto significativo no campo damaticassistida por IA.

O modelo matemático de IA olímpica

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 entre 2000 e 2022. A conquista é particularmente notável quando comparada a um renomado sistema da década de 1970, considerado o provador de teoremas de geometria maistronda época, que conseguiu resolver apenas 10 problemas. Esse sucesso coloca o AlphaGeometry em uma categoria própria, superando o desempenho médio de um medalhista de ouro da IMO, que normalmente resolve 25,9 problemas. O trio, Trieu, Thang e Quoc, expressou seu espanto com a conquistadentprecedentes, enfatizando a complexidade dos problemasmaticque frequentemente envolvem centenas de etapas.

As características distintivas do AlphaGeometry residem na combinação de um modelo de linguagem neural e um mecanismo simbólico, meticulosamente calibrados para a resolução de problemas geométricos. O que o diferencia é o uso de dados sintéticos, desprovidos de exemplos humanos, permitindo que o modelo gere respostas de alta qualidade "do nada". Isso distingue o AlphaGeometry de outros modelos de IA, como o ChatGPT ou o Gemini, que se concentram principalmente em encontrar 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 entre a resolução de problemas de geometria da IMO e o xadrez, destacando a conquista louvável dos pesquisadores de IA.

A jornada até AlphaGeometry

A gênese do AlphaGeometry traca 2019, quando Trinh Hoang Trieu concebeu a ideia enquanto buscava um tema para sua pesquisa de conclusão de curso na Universidade de Nova York. Trieu, ex-dent da Universidade de Ciências da Cidade de Ho Chi Minh, idealizou um modelo capaz de resolver problemas geométricos simples. Intrigados pelas ideias de Trieu, Le Viet Quoc e Luong Minh Thang, ex-dentde matemática, juntaram-se ao projeto. 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 vislumbra o AlphaGeometry como algo mais do que apenas uma maravilhamatic. Trieu sugere seu potencial uso como um sistema de orientação para auxiliardentdo ensino médio com problemas geométricos, marcando um passo importante rumo à educação assistida por IA. Evan Chen, medalhista de ouro na IMO de 2014 e pesquisador do Instituto de Tecnologia de Massachusetts (MIT), expressou surpresa com as capacidades do AlphaGeometry, enfatizando sua dependência de princípios geométricos puros, o que o diferencia dos métodos convencionais que utilizam coordenadas e álgebra.

A jornada pioneira da AlphaGeometry namaticassistida por IA

Com a AlphaGeometry ganhando destaque graças às suas capacidades incomparáveis, surge a pergunta: que possibilidades se abrem para o cenário damaticassistida por IA? Com ​​o potencial de auxiliar na solução dos sete Problemas do Milênio, os pesquisadores antecipam o desenvolvimento contínuo e as aplicações da AlphaGeometry em diversas áreas. A publicação de seu trabalho na Nature, uma revista de prestígio, enche Le Viet Quoc de orgulho, destacando o potencial da IA ​​não apenas para resolver problemasmatic, mas também para impulsionar a humanidade. Será que a abordagem singular da AlphaGeometry pode abrir caminho para uma nova era namaticassistida por IA?

Em um mundo onde os limites da inteligência artificial estão em constante expansão, a criação dos cientistas vietnamitas, AlphaGeometry, se destaca como uma prova das possibilidades ilimitadas que surgem quando a engenhosidade humana se une à tecnologia de ponta.