• A divisão DeepMind do Google revelou o AlphaProof e o AlphaGeometry 2, dois sistemas avançados de IA que se dedicam ao raciocínio matemático complexo.
  • Os avanços da IA do Google demonstram uma colaboração mais profunda entre IA e humanos na resolução de problemas complexos, bem como a crescente importância do raciocínio e do pensamento abstrato na pesquisa em IA.

NOSSA OPINIÃO
A capacidade da IA do Google de resolver problemas matemáticos complexos destaca uma mudança profunda. À medida que a IA continua a evoluir, o trabalho realizado pelo Google e seus concorrentes indica que a tecnologia de IA atuará não como um substituto para o intelecto humano, mas como um catalisador que impulsionará nossa compreensão e inovação a novos patamares.
–Ashley Wang, jornalista da BTW

O que aconteceu

A divisão de IA do Google, DeepMind, revelou na quinta-feira dois sistemas avançados de IA, nomeadamente AlphaProof e AlphaGeometry 2, marcando um avanço significativo na resolução de problemas matemáticos complexos. Este desenvolvimento destaca uma nova fronteira nas capacidades da IA, estendendo-se além do processamento de linguagem para incluir raciocínio abstrato e resolução de problemas.

Os modelos de IA demonstraram sua proeza ao resolver quatro dos seis problemas da Olimpíada Internacional de Matemática (OIM) 2024, uma competição prestigiosa conhecida por suas questões difíceis. Notavelmente, o AlphaProof resolveu três desses problemas, incluindo o mais difícil, que apenas um punhado de seres humanos conseguiu resolver. Este feito destaca o potencial dos sistemas de IA para se envolver em tarefas de raciocínio complexas de várias etapas, tradicionalmente gerenciadas pela inteligência humana.

O AlphaProof integra o modelo de linguagem Gemini do Google com o sistema AlphaZero, anteriormente aclamado por dominar jogos de tabuleiro como xadrez e Go. Esta abordagem híbrida melhora a capacidade da IA de traduzir problemas matemáticos em linguagem formal, reduzindo a tendência dos grandes modelos de linguagem de 'alucinar' ou produzir respostas incorretas, mas plausíveis. Enquanto isso, o AlphaGeometry 2, um modelo atualizado focado em geometria, resolveu com sucesso um problema adicional, demonstrando ainda mais as capacidades do sistema.

À lire aussi:Demanda por software e IA impulsiona o crescimento da IBM apesar da queda na consultoria

À lire aussi:MIT revela nova maneira de simular treinamento de robôs domésticos

Por que isso é importante

De acordo com Pushmeet Kohli, vice-presidente de pesquisa de IA para ciência no Google DeepMind, "Este é um grande avanço no campo do aprendizado de máquina e da IA. Nenhum sistema desse tipo havia sido desenvolvido para resolver problemas com tal taxa de sucesso."

Este avanço implica uma integração mais aprofundada da colaboração entre IA e humanos em áreas de resolução de problemas complexos. Embora esses modelos de IA ainda não sejam capazes de substituir matemáticos humanos, eles oferecem ferramentas poderosas que podem ajudar a desenvolver novas provas e perspectivas matemáticas.

O sucesso do AlphaProof e do AlphaGeometry 2 também destaca a crescente importância do raciocínio e do pensamento abstrato na pesquisa em IA, uma área onde os modelos atuais frequentemente encontram dificuldades. A IA não está mais limitada a tarefas rotineiras ou processamento simples de dados; ela está entrando em domínios que exigem raciocínio matizado e pensamento abstrato.