Sistemas de IA do Google avançam com matemática em direção ao raciocínio

Novos modelos resolvem quatro de seis problemas das Olimpíadas de Matemática deste ano

  • Salvar artigos

    Recurso exclusivo para assinantes

    assine ou faça login

Kenrick Cai
Reuters

O Google apresentou na quinta-feira (25) dois sistemas de inteligência artificial que demonstraram avanços na solução de problemas matemáticos complexos, uma das principais fronteiras do desenvolvimento da IA generativa.

A classe atual de modelos de IA, que funciona prevendo estatisticamente a próxima palavra, tem tido dificuldades com a matemática abstrata, que exige maior capacidade de raciocínio, semelhante à inteligência humana.

A imagem apresenta um problema de geometria com um triângulo ABC e várias construções geométricas. O triângulo é circunscrito em um círculo, e há um círculo vermelho desenhado que parece interagir com o triângulo. O texto descreve as condições e as relações entre os pontos e segmentos do triângulo. Há também segmentos de reta em azul e vermelho, além de pontos marcados com letras. O problema envolve ângulos e segmentos de reta.
Modelos de IA do Google resolvem quatro de seis problemas das Olimpíadas de Matemática - Google DeepMind/The New York Times

A DeepMind, a unidade de IA da empresa, publicou resultados mostrando que seus novos modelos de IA em desenvolvimento, chamados AlphaProof e AlphaGeometry 2, resolveram quatro de seis questões na Olimpíada Internacional de Matemática de 2024, uma importante competição para estudantes do ensino médio.

O Google disse em uma publicação em um blog que uma questão foi resolvida em minutos, mas outras levaram até três dias, mais do que o limite de tempo da competição. Ainda assim, os resultados representam as melhores notas na competição por um sistema de IA até o momento.

A empresa disse que criou o AlphaProof, um sistema focado em raciocínio, combinando uma versão do Gemini, o modelo de linguagem por trás de seu chatbot de mesmo nome, com o AlphaZero, outro sistema de IA que anteriormente superava os humanos em jogos de tabuleiro como xadrez.

O AlphaProof resolveu três dos problemas da competição, incluindo a pergunta mais difícil, que foi resolvida por apenas cinco dos mais de 600 participantes humanos.

Um problema matemático adicional foi resolvido pelo AlphaGeometry 2.

A Reuters informou no início de julho que a OpenAI, apoiada pela Microsoft, estava desenvolvendo uma tecnologia de raciocínio com o nome de código "Strawberry".

O projeto, anteriormente conhecido como Q*, foi considerado um avanço tão grande que vários pesquisadores da equipe escreveram uma carta para a diretoria da OpenAI em novembro, alertando que ele poderia ameaçar a humanidade, conforme relatado pela Reuters.

  • Salvar artigos

    Recurso exclusivo para assinantes

    assine ou faça login

Tópicos relacionados

Leia tudo sobre o tema e siga:

Comentários

Os comentários não representam a opinião do jornal; a responsabilidade é do autor da mensagem.