O Google apresentou na quinta-feira (25) dois sistemas de inteligência artificial que mostram avanços na solução de problemas matemáticos complexosuma das principais fronteiras do desenvolvimento da IA generativa.
A classe atual de modelos de IA, que funciona prevendo estatisticamente a próxima palavra, teve dificuldades com a matemática abstratamente, que exige maior capacidade de cálculo, 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 IA abertaatualizado pela Microsoft, estava desenvolvendo uma tecnologia de cálculo com o nome de código “Morango”.
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.