---
title: "Modelo da OpenAI resolve problema matemático de 80 anos"
url: https://dailyjournal.news/news/2026-05-20/modelo-da-openai-resolve-problema-matematico-de-80-anos
published: 2026-05-20T19:34:27.266813+00:00
updated: 2026-05-20T20:32:35.981+00:00
categories: ["technology"]
topics: ["inteligencia-artificial"]
source_count: 2
outlet_count: 2
language: pt-BR
publisher: "Daily Journal"
---

# Modelo da OpenAI resolve problema matemático de 80 anos

Sistema de IA da OpenAI refutou a conjectura da distância unitária de Erdős, um desafio da geometria discreta sem solução desde 1946.

## Pontos principais

- O modelo de raciocínio de propósito geral da OpenAI solucionou o problema da distância unitária, proposto originalmente em 1946.
- A descoberta refuta uma conjectura central na geometria discreta, alterando o entendimento acadêmico sobre o tema.
- A OpenAI disponibilizou a prova formal e detalhes técnicos sobre o processo de raciocínio utilizado pelo sistema.
- O feito consolida a inteligência artificial como uma ferramenta estratégica para a resolução de problemas científicos complexos.

Um modelo de raciocínio de propósito geral desenvolvido pela OpenAI alcançou um feito inédito ao solucionar a conjectura da distância unitária de Erdős, um desafio matemático que persistia sem resposta desde 1946. A resolução, que refuta uma premissa central da geometria discreta, foi validada através da disponibilização da prova formal pela empresa, marcando um avanço significativo na aplicação de sistemas de IA para a exploração de fronteiras da ciência fundamental. Ao demonstrar competência em raciocínio lógico de alto nível, a tecnologia provou ser um aliado estratégico para pesquisadores em áreas que exigem rigor matemático extremo. Esta conquista não apenas altera o entendimento atual no campo da geometria, mas também estabelece um novo precedente para o uso de modelos computacionais na resolução de problemas científicos que permanecem sem solução há gerações.

## Fontes

- [An OpenAI model has disproved a central conjecture in discrete geometry](https://openai.com/index/model-disproves-discrete-geometry-conjecture) — OpenAI (2026-05-20)
- [OpenAI says an internal general-purpose reasoning model has disproved the Erdős unit distance conjecture, a central problem in discrete geometry posed in 1946 (OpenAI)](https://www.techmeme.com/260520/p43#a260520p43) — Techmeme (2026-05-20)

## 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-20/modelo-da-openai-resolve-problema-matematico-de-80-anos