1. Início
  2. / Ciência e Tecnologia
  3. / IA da OpenAI resolve problema matemático que atravessou décadas, surpreende especialistas e levanta uma pergunta assustadora: as máquinas já começaram a fazer descobertas científicas sozinhas?
Tempo de leitura 5 min de leitura Comentários 0 comentários

IA da OpenAI resolve problema matemático que atravessou décadas, surpreende especialistas e levanta uma pergunta assustadora: as máquinas já começaram a fazer descobertas científicas sozinhas?

Escrito por Noel Budeguer
Publicado em 22/05/2026 às 12:14
Atualizado em 22/05/2026 às 12:17
Seja o primeiro a reagir!
Reagir ao artigo

Um modelo interno da OpenAI teria refutado uma conjectura ligada ao matemático húngaro Paul Erdős, famoso por cerca de 1.500 artigos publicados, ao encontrar uma nova construção para o problema da distância unitária no plano.

Uma descoberta atribuída a um modelo interno da OpenAI colocou o mundo da matemática em estado de choque. A inteligência artificial teria encontrado uma nova construção para um dos problemas mais famosos da geometria discreta, ligado ao lendário matemático Paul Erdős, desafiando uma suposição que resistia há décadas. Segundo informações divulgadas pelo The Guardian, o avanço envolve o chamado problema da distância unitária no plano.

O caso ganhou repercussão porque não se trata apenas de uma máquina ajudando pesquisadores humanos. O modelo teria produzido ideias matemáticas originais, abrindo uma discussão explosiva sobre até onde a inteligência artificial autônoma pode chegar quando deixa de ser apenas uma ferramenta e passa a atuar como uma espécie de pesquisadora independente.

O problema que parecia simples, mas travou matemáticos por décadas

A pergunta central parece quase infantil: se colocarmos vários pontos em uma folha, quantos pares desses pontos podem estar exatamente à distância de uma unidade?

Por trás dessa formulação simples existe um dos grandes desafios da geometria combinatória. Paul Erdős, um dos matemáticos mais produtivos do século XX, acreditava que esse número não cresceria de forma muito mais rápida do que a quantidade de pontos colocados no plano.

Em termos práticos, a conjectura sugeria que, mesmo adicionando muitos pontos, o total de pares separados por exatamente uma unidade continuaria relativamente controlado. A IA da OpenAI, porém, teria mostrado um caminho diferente, e muito mais agressivo.

Representação visual de uma rede de pontos conectados no plano, conceito ligado ao problema da distância unitária que ganhou destaque após uma inteligência artificial da OpenAI encontrar uma nova solução matemática.
Representação visual de uma rede de pontos conectados no plano, conceito ligado ao problema da distância unitária que ganhou destaque após uma inteligência artificial da OpenAI encontrar uma nova solução matemática.

A virada que derrubou uma expectativa histórica

O modelo encontrou uma construção capaz de gerar, para infinitos valores de n, uma quantidade de pares a distância unitária maior do que se imaginava. O detalhe mais impactante é que esse crescimento não seria apenas um pouco acima do esperado, mas significativamente superior.

Essa diferença muda o peso da descoberta. Em vez de apenas melhorar um cálculo antigo, a IA teria apontado uma estrutura matemática nova, capaz de contradizer diretamente a expectativa associada ao problema de Erdős.

Para uma área acostumada a avanços lentos, revisões cuidadosas e anos de tentativa, o episódio soa como um divisor de águas. A mensagem é direta: modelos de IA já podem estar entrando em territórios que antes pareciam exclusivos da intuição humana.

O ponto mais assustador: a máquina não apenas calculou

O aspecto mais impressionante não está somente no resultado, mas no modo como ele teria sido alcançado. A OpenAI afirma que o modelo não recebeu uma solução parcial nem foi conduzido passo a passo por matemáticos.

A IA teria partido de uma formulação do problema e chegado a uma nova construção por conta própria. Isso muda completamente o debate sobre o papel das máquinas na ciência.

Durante décadas, computadores foram usados para verificar casos, testar hipóteses e acelerar contas enormes. Mas há uma diferença brutal entre verificar possibilidades e descobrir uma estratégia matemática nova. É justamente essa fronteira que agora parece ter sido atravessada.

Paul Erdős e o peso simbólico dessa queda

Paul Erdős não era um nome qualquer. Ele publicou ou colaborou em cerca de 1.500 artigos e ficou conhecido por lançar problemas capazes de mobilizar gerações inteiras de matemáticos.

Ter uma conjectura associada a Erdős desafiada por uma IA é algo simbolicamente gigantesco. Não é apenas uma vitória técnica. É um recado poderoso de que a inteligência artificial generativa pode começar a disputar espaço em uma das áreas mais abstratas do pensamento humano.

Se a demonstração for plenamente confirmada pela comunidade matemática, o episódio poderá entrar para a história como um dos primeiros grandes sinais de que máquinas não apenas repetem padrões, mas também podem gerar caminhos intelectuais inesperados.

O impacto vai além da matemática

Esse tipo de avanço também mexe com o mercado de tecnologia, especialmente com setores ligados a IA, computação avançada, blockchain, provas verificáveis e infraestrutura descentralizada.

Se sistemas artificiais começam a criar demonstrações complexas, surge uma pergunta inevitável: quem vai verificar tudo isso? Matemáticos humanos ainda serão essenciais, mas talvez passem a atuar cada vez mais como validadores, intérpretes e refinadores de descobertas produzidas por máquinas.

Nesse cenário, tecnologias de verificação formal, provas computacionais e até sistemas baseados em conhecimento zero podem ganhar importância. Afinal, um mundo em que inteligências artificiais produzem provas difíceis de auditar manualmente exige novas formas de confiança.

Ainda existe cautela, e ela é necessária

Apesar do entusiasmo, é preciso cuidado. A história da matemática está cheia de supostas soluções brilhantes que acabaram ruindo após análise detalhada. Uma demonstração só se torna realmente incontestável depois de passar pelo crivo de especialistas.

Mesmo assim, o sinal é forte. A OpenAI não está sozinha nessa corrida. Google DeepMind, Anthropic e outros laboratórios também buscam modelos com capacidade de raciocínio cada vez mais profunda.

A pergunta que fica é incômoda: estamos diante de uma ferramenta genial para ajudar cientistas ou do início de uma nova era em que máquinas também passam a fazer descobertas científicas originais?

Uma nova fase da inteligência artificial pode ter começado

O caso da distância unitária planar mostra que a IA está deixando de ser vista apenas como produtora de textos, imagens e códigos. Agora, ela começa a aparecer em um território muito mais difícil: o da criação matemática autônoma.

Se esse avanço for confirmado, o impacto não será pequeno. Ele poderá mudar a forma como universidades, laboratórios e empresas enxergam a pesquisa científica nos próximos anos.

A máquina que responde perguntas talvez esteja se transformando em algo muito maior: uma força capaz de propor respostas que nem os maiores especialistas haviam encontrado. E isso, para a ciência, para o mercado e para o futuro do conhecimento humano, é simplesmente gigantesco.

Inscreva-se
Notificar de
guest
0 Comentários
Mais recente
Mais antigos Mais votado
Noel Budeguer

Sou jornalista argentino baseado no Rio de Janeiro, com foco em energia e geopolítica, além de tecnologia e assuntos militares. Produzo análises e reportagens com linguagem acessível, dados, contexto e visão estratégica sobre os movimentos que impactam o Brasil e o mundo. 📩 Contato: noelbudeguer@gmail.com

Compartilhar em aplicativos
Baixar aplicativo
0
Adoraríamos sua opnião sobre esse assunto, comente!x