Avanços da IA do Google na resolução de problemas matemáticos complexos

Os avanços da IA do Google na resolução de problemas matemáticos complexos são perfilados pela BTW Media porque evidências publicadas os ligam à infraestrutura da internet, governança, dependências operacionais ou visibilidade de mercado.

• A divisão DeepMind do Google revelou o AlphaProof e o AlphaGeometry 2, dois sistemas avançados de IA que realizam raciocínio matemático complexo.
• Os avanços da IA do Google demonstram uma colaboração mais profunda entre IA e humanos na resolução de problemas complexos e a importância crescente do raciocínio e do pensamento abstrato na pesquisa em IA.

NOSSA VISÃO
A capacidade da IA do Google de resolver problemas matemáticos complexos evidencia uma mudança profunda. À medida que a IA continua a evoluir, o trabalho realizado pelo Google e seus concorrentes indica que a tecnologia de IA atuará não como substituta do intelecto humano, mas como catalisadora que impulsiona nossa compreensão e inovação a novos patamares.
–Ashley Wang, repórter da BTW

O que aconteceu

A divisão de IA do Google,DeepMind, revelou dois sistemas avançados de IA na quinta-feira, a saber, AlphaProof e AlphaGeometry 2, marcando um avanço significativo na resolução de problemas matemáticos complexos. Esse desenvolvimento destaca uma nova fronteira nas capacidades da IA, indo além do processamento de linguagem para o raciocínio abstrato e a resolução de problemas.

Os modelos de IA demonstraram sua capacidade ao resolver quatro dos seis problemas da Olimpíada Internacional de Matemática de 2024 (IMO), uma competição de prestígio conhecida por suas questões desafiadoras. Notavelmente, o AlphaProof resolveu três desses problemas, incluindo o mais difícil, que apenas um punhado de competidores humanos conseguiu solucionar. Essa conquista ressalta o potencial dos sistemas de IA para se engajar em tarefas complexas de raciocínio em várias etapas tradicionalmente tratadas pela inteligência humana.

O AlphaProof integra o modelo de linguagem Gemini do Google com osistema AlphaZero, anteriormente aclamado por dominar jogos de tabuleiro como xadrez e Go. Essa abordagem híbrida aprimora a capacidade da IA de traduzir problemas matemáticos para linguagem formal, reduzindo a tendência dos grandes modelos de linguagem de “alucinar” ou produzir respostas incorretas, mas plausíveis. Enquanto isso, o AlphaGeometry 2, um modelo atualizado focado em geometria, resolveu com sucesso um problema adicional, comprovando ainda mais as capacidades do sistema.

Leia também:Demanda por software e IA impulsiona o crescimento da IBM apesar da queda em consultoria

Leia também:MIT revela nova forma de simular treinamento para robôs domésticos

Por que é importante

De acordo com Pushmeet Kohli, vice-presidente de pesquisa em IA para ciência do Google DeepMind, “Este é um grande progresso no campo do aprendizado de máquina e da IA. Nenhum sistema semelhante havia sido desenvolvido capaz de resolver problemas com essa taxa de sucesso”.

Esse avanço implica uma maior integração do futuro da colaboração entre IA e humanos em domínios complexos de resolução de problemas. Embora esses modelos de IA ainda não sejam capazes de substituir matemáticos humanos, eles oferecem ferramentas poderosas que podem auxiliar no desenvolvimento de novas provas e insights matemáticos.

O sucesso do AlphaProof e do AlphaGeometry 2 também destaca a importância crescente do raciocínio e do pensamento abstrato na pesquisa em IA, um campo onde os modelos atuais muitas vezes enfrentam dificuldades. A IA não está mais confinada a tarefas rotineiras ou simples processamento de dados; ela está adentrando domínios que exigem raciocínio matizado e pensamento abstrato.