DeepMind: a IA do Google que domina a geometria como um campeão de matemática
Um novo sistema de inteligência artificial desenvolvido pelo Google DeepMind é capaz de resolver problemas complexos de geometria que exigem raciocínio espacial e criatividade. O sistema, chamado AlphaGeometry, combina duas abordagens diferentes: um modelo de linguagem neural que gera ideias intuitivas e um mecanismo de dedução simbólica que as verifica usando lógica formal e regras.
O objetivo do AlphaGeometry é imitar a forma como os humanos resolvem problemas de geometria, que envolvem visualizar figuras, traçar linhas auxiliares, aplicar teoremas e construir argumentos lógicos. Essas habilidades são essenciais para o pensamento matemático e científico, mas são difíceis de reproduzir em máquinas.
O modelo de linguagem neural do AlphaGeometry é baseado no GPT-3, um poderoso gerador de texto que pode aprender com grandes quantidades de dados. O modelo usa o texto dos problemas de geometria como entrada e produz hipóteses sobre as propriedades das figuras, como ângulos, comprimentos e relações. Essas hipóteses são baseadas em padrões e analogias que o modelo aprendeu com exemplos anteriores.
No entanto, o modelo de linguagem neural não é suficiente para garantir a correção das hipóteses, pois ele pode cometer erros ou gerar ideias irrelevantes. Por isso, o AlphaGeometry também usa um mecanismo de dedução simbólica, que é um sistema lógico que pode verificar as hipóteses usando regras formais e teoremas. O mecanismo de dedução simbólica pode descartar as hipóteses falsas ou inconsistentes e construir uma prova formal para as hipóteses verdadeiras.
A combinação dessas duas abordagens permite ao AlphaGeometry resolver problemas de geometria que são desafiadores até mesmo para estudantes avançados ou competidores olímpicos de matemática. Em um teste com 50 problemas selecionados de competições internacionais, o AlphaGeometry obteve uma pontuação média de 86%, superando a maioria dos humanos. Além disso, o sistema foi capaz de gerar soluções criativas e elegantes, que usavam técnicas sofisticadas e inovadoras.
O AlphaGeometry é um exemplo de como a inteligência artificial pode avançar o conhecimento matemático e científico, ao mesmo tempo em que inspira os humanos a explorar novas ideias e perspectivas. Os pesquisadores do Google DeepMind esperam que o sistema possa ser usado como uma ferramenta educacional e de pesquisa, que possa ajudar os estudantes a aprender geometria e os cientistas a descobrir novos fenômenos.
Inscreva-se no canal Geek TV, o canal oficial do Geek Fusion no YouTube e acompanhe nossos conteúdos e produções de parceiros. Siga-nos também no Facebook, Instagram e X, para ficar por dentro das novidades que preparamos especialemnte para você!
Tem uma dica de notícia ou quer entrar em contato conosco diretamente? Então faça contato através do e-mail
Vitor Virtuoso Mendes
FenryrFrost
Sou um nerd violinista, completamente apaixonado por games e contos de terror!
