Por Kenrick Cai
(Reuters) – O Google, da Alphabet, apresentou na quinta-feira 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.
