---
title: "AlphaProof Nexus, do Google DeepMind, resolve 9 problemas em aberto de Erdős"
url: https://dailyjournal.news/news/2026-05-26/alphaproof-nexus-do-google-deepmind-resolve-9-problemas-em-aberto-de-erdos
published: 2026-05-26T12:00:00+00:00
categories: ["technology"]
source_count: 1
outlet_count: 0
language: pt-BR
publisher: "Daily Journal"
---

# AlphaProof Nexus, do Google DeepMind, resolve 9 problemas em aberto de Erdős

Sistema resolveu sozinho problemas de matemática, dois sem resposta há 56 anos, a poucas centenas de dólares cada.

## Pontos principais

- Resolveu sozinho 9 de 353 problemas em aberto do matemático húngaro Paul Erdős
- Dois deles estavam sem resposta há 56 anos; cada solução custou algumas centenas de dólares
- Também provou 44 de 492 conjecturas de uma enciclopédia de sequências numéricas
- Usa o modelo Gemini 3.1 Pro para gerar provas em Lean, cujo compilador verifica cada etapa
- Anúncio vem dias depois de a OpenAI derrubar outra conjectura de Erdős

O sistema AlphaProof Nexus, do Google DeepMind, resolveu de forma autônoma 9 dos 353 problemas em aberto de Paul Erdős que tentou, dois deles sem resposta há 56 anos, a um custo de algumas centenas de dólares por solução. Ele também provou 44 de 492 conjecturas da Enciclopédia On-line de Sequências Inteiras e melhorou um resultado em otimização convexa.

O sistema usa o modelo de linguagem Gemini 3.1 Pro para gerar passos de demonstração em Lean, uma linguagem formal cujo compilador verifica cada etapa, deixando aos humanos apenas a conferência final. O anúncio reforça uma disputa com a OpenAI, que dias antes usou um modelo próprio para derrubar a conjectura das distâncias unitárias de Erdős.

## Fontes

- [AlphaProof Nexus, do DeepMind, resolve problemas de matemática antigos por algumas centenas de dólares](https://the-decoder.com/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars/) (2026-05-26)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-05-26/alphaproof-nexus-do-google-deepmind-resolve-9-problemas-em-aberto-de-erdos