---
title: "IA do Google DeepMind resolve problemas matemáticos de décadas"
url: https://dailyjournal.news/news/2026-06-08/ia-do-google-deepmind-resolve-problemas-matematicos-de-decadas
published: 2026-06-08T00:32:51.092365+00:00
updated: 2026-06-08T00:32:51.062+00:00
categories: ["technology"]
topics: ["inteligencia-artificial"]
source_count: 1
outlet_count: 1
language: pt-BR
publisher: "Daily Journal"
---

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

O sistema AlphaProof Nexus utilizou lógica formal e modelos de linguagem para solucionar desafios matemáticos que permaneciam sem resposta há anos.

## Pontos principais

- O AlphaProof Nexus resolveu nove problemas abertos de Erdős, alguns sem solução há 56 anos.
- A tecnologia integra a geração criativa de hipóteses por IA com a verificação lógica rigorosa da plataforma Lean.
- O método garante a correção matemática de cada etapa do raciocínio, eliminando erros comuns em modelos generativos.
- O avanço marca uma nova fase na aplicação de IA para auxiliar pesquisadores em descobertas científicas complexas.
- A OpenAI também registrou progresso recente ao refutar uma conjectura matemática com 80 anos de existência.

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.

## Fontes

- [Como uma I.A. conseguiu resolver problemas matemáticos que ficaram anos sem solução?](https://timesbrasil.com.br/empresas-e-negocios/tecnologia-e-inovacao/como-uma-i-a-conseguiu-resolver-problemas-matematicos-que-ficaram-anos-sem-solucao/) — Times Brasil (2026-06-08)

## Tópicos relacionados

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

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-06-08/ia-do-google-deepmind-resolve-problemas-matematicos-de-decadas