Google DeepMind resolve nove problemas matemáticos de Erdős
O sistema AlphaProof Nexus, do Google, solucionou desafios matemáticos históricos, intensificando a disputa tecnológica com a OpenAI.
Pontos principais
- O AlphaProof Nexus resolveu nove problemas de Erdős, incluindo dois que estavam sem solução há 56 anos.
- A tecnologia integra modelos de linguagem a um assistente de verificação formal para garantir a validade lógica das provas.
- O avanço ocorre logo após a OpenAI reportar a refutação de uma conjectura de Erdős com 80 anos de existência.
- O sistema também provou 44 conjecturas da Enciclopédia Online de Sequências de Inteiros.
- A ferramenta já é aplicada em áreas complexas como combinatória, teoria dos grafos e óptica quântica.
O Google DeepMind anunciou que seu sistema de inteligência artificial, o AlphaProof Nexus, resolveu nove problemas matemáticos de Erdős, superando desafios que permaneciam sem solução há mais de cinco décadas. A tecnologia utiliza uma abordagem que combina modelos de linguagem com o assistente de verificação formal Lean, garantindo que todas as provas geradas sejam matematicamente certificadas e logicamente válidas. Este marco ocorre em um momento de intensa competição no setor de IA, logo após a OpenAI ter reportado a refutação de uma conjectura de Erdős com 80 anos de existência. Além dos problemas específicos de Erdős, o sistema provou 44 conjecturas adicionais da Enciclopédia Online de Sequências de Inteiros. A capacidade de resolver problemas complexos de forma automatizada e verificável demonstra o potencial da IA para acelerar descobertas científicas em campos como combinatória, teoria dos grafos e óptica quântica.
Tópicos relacionados
Comentários
Carregando comentários...