---
title: "Google DeepMind resolve nove problemas matemáticos de Erdős"
url: https://dailyjournal.news/news/2026-05-25/google-deepmind-resolve-nove-problemas-matematicos-de-erdos
published: 2026-05-25T13:03:25.658849+00:00
categories: ["technology"]
topics: ["inteligencia-artificial"]
source_count: 1
outlet_count: 1
language: pt-BR
publisher: "Daily Journal"
---

# 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.

## Fontes

- [Google resolve nove problemas matemáticos que estavam décadas sem solução; OpenAI também](https://timesbrasil.com.br/empresas-e-negocios/inteligencia-artificial/alphaproof-google-deepmind-problemas-erdos-matematica/) — Times Brasil (2026-05-25)

## Tópicos relacionados

- [Inteligência Artificial](https://dailyjournal.news/topics/inteligencia-artificial)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-05-25/google-deepmind-resolve-nove-problemas-matematicos-de-erdos