---
title: "Modelo de raciocínio da OpenAI derruba conjectura de Erdős de 1946"
url: https://dailyjournal.news/news/2026-05-21/modelo-de-raciocinio-da-openai-derruba-conjectura-de-erdos-de-1946
published: 2026-05-21T12:00:00+00:00
updated: 2026-05-21T17:03:31.2+00:00
categories: ["technology"]
topics: ["inteligencia-artificial", "openai"]
source_count: 2
outlet_count: 1
language: pt-BR
publisher: "Daily Journal"
---

# Modelo de raciocínio da OpenAI derruba conjectura de Erdős de 1946

IA de propósito geral resolve problema matemático de 80 anos, demonstrando avanços significativos em capacidades de raciocínio lógico.

## Pontos principais

- Modelo de raciocínio da OpenAI superou a conjectura das distâncias unitárias, proposta por Paul Erdős em 1946.
- O sistema não foi treinado especificamente para matemática e gerou a prova de forma autônoma.
- Especialistas como Tim Gowers e Gil Kalai classificaram o feito como um marco histórico para a IA na ciência.
- A OpenAI destaca que o sucesso comprova o progresso das capacidades de raciocínio lógico de seus modelos avançados.

Um modelo de raciocínio de propósito geral da OpenAI derrubou a conjectura das distâncias unitárias no plano, um desafio matemático proposto por Paul Erdős em 1946. O sistema, que não foi treinado especificamente para matemática, encontrou uma família infinita de configurações que supera o arranjo tido como ótimo por décadas, produzindo a prova de uma só vez. O resultado foi verificado por matemáticos externos e detalhado em artigos no arXiv, sendo comparado por especialistas como Tim Gowers e Gil Kalai a marcos históricos da computação, como a prova do teorema das quatro cores.

A OpenAI afirma que este sucesso demonstra um progresso relevante nas capacidades de raciocínio lógico de seus modelos de inteligência artificial. O feito destaca a aplicação prática de modelos de linguagem avançados em áreas complexas da ciência e pesquisa acadêmica, consolidando a IA como uma ferramenta capaz de resolver problemas de longa data na matemática pura.

## Fontes

- [OpenAI makes breakthrough on 80-year-old maths problem](https://www.theguardian.com/technology/2026/may/21/openai-paul-erdos-maths-problem-breakthrough) — The Guardian (2026-05-21)
- [Um modelo da OpenAI derrubou uma conjectura central da geometria discreta](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) (2026-05-21)

## Tópicos relacionados

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

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-05-21/modelo-de-raciocinio-da-openai-derruba-conjectura-de-erdos-de-1946