Os sistemas de IA da Google DeepMind agora podem resolver problemas matemáticos complexos

1. O Google DeepMind desenvolveu dois sistemas de IA, AlphaProof e AlphaGeometry 2, que podem resolver problemas matemáticos complexos envolvendo raciocínio avançado. 2. Esses sistemas trabalharam juntos para resolver quatro de seis problemas da Olimpíada Internacional de Matemática (IMO), conquistando uma medalha de prata. 3. Esta é a primeira vez que qualquer sistema de IA alcança tal taxa de sucesso em problemas desse tipo. 4. Os problemas matemáticos que envolvem raciocínio avançado são difíceis para os sistemas de IA porque requerem formar e utilizar abstrações, planejamento hierárquico complexo e definição de metas. 5. O AlphaProof é um sistema baseado em aprendizado por reforço que se treina para provar declarações matemáticas na linguagem de programação formal Lean. 6. A IA Gemini é ajustada para traduzir automaticamente problemas matemáticos da linguagem natural para declarações formais, criando uma grande biblioteca de problemas matemáticos formais. 7. Automatizar esse processo é um grande passo adiante para a comunidade matemática, permitindo maior confiança na correção dos resultados publicados e mais trabalho colaborativo. 8. O AlphaGeometry 2 foi otimizado para lidar com problemas de geometria e foi treinado com significativamente mais dados sintéticos do que seu predecessor. 9. Dois matemáticos renomados verificaram as submissões dos sistemas e lhes atribuíram um total de 28 pontos de um máximo de 42, o que conquistaria a uma participante humana uma medalha de prata. 10. Criar sistemas de IA que possam resolver problemas matemáticos mais desafiadores pode abrir caminho para colaborações humanas-IA emocionantes e ajudar a aprender mais sobre como os humanos abordam a matemática.