IA do Google DeepMind resolve problemas matemáticos de décadas

O Google DeepMind anunciou um avanço significativo na aplicação de inteligência artificial para a ciência com o sistema AlphaProof Nexus. A ferramenta foi capaz de resolver nove problemas matemáticos complexos associados a Erdős, alguns dos quais permaneciam sem solução há mais de cinco décadas. O sucesso do modelo reside na combinação entre a capacidade criativa de geração de hipóteses dos modelos de linguagem e a precisão da plataforma Lean, que atua como um verificador de provas lógicas para garantir a validade dos resultados. Este desenvolvimento representa uma mudança fundamental na forma como a tecnologia pode apoiar a pesquisa acadêmica, permitindo que máquinas auxiliem na superação de barreiras científicas históricas. O setor de IA tem demonstrado progresso acelerado nesta área, com a OpenAI também reportando recentemente a refutação de uma conjectura matemática que persistia há 80 anos.