• Google demonstrou o progresso de seus novos sistemas de IA AlphaProof e AlphaGeometry 2 na resolução de problemas matemáticos complexos, o que demonstrou o potencial da IA em raciocínio matemático ao resolver vários problemas na Olimpíada Internacional de Matemática de 2024.
  • Embora esses sistemas tenham excedido o limite de tempo da competição para resolver alguns problemas, seu desempenho representa a mais recente realização da IA em matemática.

NOSSA OPINIÃO
Google, por meio de sua divisão de IA DeepMind, apresentou dois novos sistemas de IA, AlphaProof e AlphaGeometry 2, que obtiveram avanços significativos na resolução de problemas matemáticos complexos, especialmente na Olimpíada Internacional de Matemática de 2024. Esses sistemas de IA demonstraram suas capacidades em raciocínio matemático e resolução de problemas ao combinar diferentes técnicas, como modelagem de linguagem e sistemas de IA que já superaram humanos em jogos de tabuleiro.
-Rae Li, jornalista da BTW

O que aconteceu

Google revelou dois sistemas de IA inovadores, AlphaProof e AlphaGeometry 2, que alcançaram avanços significativos na resolução de desafios matemáticos complexos. Esses sistemas mostraram suas proezas na Olimpíada Internacional de Matemática de 2024, onde AlphaProof resolveu com sucesso três problemas dos quatro, incluindo o mais difícil, e AlphaGeometry 2 tratou do problema restante.

Ao integrar modelos de linguagem com sistemas de IA que já superaram o desempenho humano em jogos estratégicos, esses sistemas demonstraram sua capacidade de raciocínio matemático e resolução de problemas.

AlphaProof, em particular, foi desenvolvido combinando uma variante do modelo de linguagem Gemini do chatbot da DeepMind comAlphaZero. O AlphaProof não só demonstrou fortes habilidades de raciocínio, mas também resolveu o problema mais difícil da competição. O AlphaGeometry 2, por sua vez, concentrou-se em desafios geométricos, mostrando a versatilidade da IA em diversos campos matemáticos.

Leia também:Apple Maps se torna web, desafiando o Google com novos recursos

Leia também:Zuckerberg visa rivalizar com OpenAI e Google com seu novo modelo Llama

Por que isso é importante

A IA do Google demonstrou o progresso de seus sistemas de IA recém-desenvolvidos, AlphaProof e AlphaGeometry 2, na resolução de problemas matemáticos complexos. Isso mostra o potencial da IA para o raciocínio matemático.

Apesar de um tempo de resolução mais longo que as restrições da competição para algumas soluções, o desempenho do AlphaProof destaca o potencial significativo da IA em tarefas de raciocínio abstrato e lógico. Esses avanços oferecem novas perspectivas sobre o papel da IA na matemática e prometem aplicações mais amplas na educação, pesquisa e indústria.