Google AI mostra habilidades de raciocínio na Maths Olympiad

O 'Google AI shows reasoning skills at Maths Olympiad' é perfilado pela BTW Media porque evidências publicadas o vinculam à infraestrutura da internet, governança, dependências operacionais ou visibilidade de mercado.

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

NOSSA OPINIÃO
O Google, por meio de sua divisão de IA DeepMind, demonstrou dois novos sistemas de IA, AlphaProof e AlphaGeometry 2, que fizeram progressos significativos na resolução de problemas matemáticos complexos, notadamente na Olimpíada Internacional de Matemática de 2024. Esses sistemas de IA demonstraram suas capacidades de raciocínio matemático e resolução de problemas combinando diferentes técnicas, como modelagem de linguagem e sistemas de IA que anteriormente superaram humanos em jogos de tabuleiro.
-Rae Li, repórter da BTW

O que aconteceu

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

Ao integrar modelos de linguagem com sistemas de IA que anteriormente 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 com oAlphaZero. O AlphaProof não apenas exibiu habilidades robustas de raciocínio, mas também resolveu o problema mais difícil da competição. Enquanto isso, o AlphaGeometry 2 concentrou-se em desafios geométricos, mostrando a versatilidade da IA em vários domínios matemáticos.

Leia também:Apple Maps vai para a web, desafiando o Google com novos recursos

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

Por que isso é importante

A IA do Google demonstrou o progresso de seus recém-desenvolvidos sistemas de IA, 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 levar mais tempo do que os limites de tempo 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.