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

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 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.