Início · Blog · Notícias

IA Resolve Problema Matemático de 80 Anos que Intrigava Matemáticos

IA Resolve Problema Matemático de 80 Anos que Intrigava Matemáticos

Um modelo de inteligência artificial desenvolvido pela OpenAI refutou uma famosa conjectura matemática que resistia há quase 80 anos. O problema, conhecido como conjectura da distância unitária planar de Paul Erdős, pergunta quantos pares de pontos em um plano podem estar exatamente a uma unidade de distância. Durante décadas, os matemáticos acreditavam que um arranjo semelhante a uma grade era o ideal. A IA encontrou um padrão melhor, forçando uma reformulação de um problema central na geometria de incidências.

A Pesquisa

Em junho de 2026, a OpenAI revelou que um de seus modelos de IA de propósito geral produziu um contraexemplo para a conjectura de Erdős, que data de 1946. O resultado foi descrito pelo matemático canadense Daniel Litt como “o primeiro resultado produzido autonomamente por uma IA que considero interessante por si só”. O medalhista Fields Timothy Gowers comentou que, se um humano tivesse submetido o artigo ao Annals of Mathematics, ele recomendaria a publicação “sem qualquer hesitação”.

A IA usou teoria algébrica dos números para construir arranjos de pontos que geram mais pares de distância unitária do que a grade quadrada para infinitos valores de n. Dias depois, o matemático Will Sawin melhorou ainda mais o resultado, embora ele só supere as grades para números extremamente grandes de pontos (cerca de 102.000.000). O trabalho também estimulou uma equipe do Google DeepMind a resolver outros nove problemas em aberto propostos por Erdős.

Por Que Isso Importa para o Seu Cérebro

Esse avanço destaca como a IA pode complementar o raciocínio humano na resolução de problemas complexos. Para o treinamento cognitivo, reforça que mesmo suposições profundamente arraigadas podem ser derrubadas com as ferramentas certas e persistência. Envolver-se com quebra-cabeças que exigem raciocínio espacial e reconhecimento de padrões — como os de testes de QI e plataformas de treinamento cerebral — exercita os mesmos músculos cognitivos usados pelos matemáticos.

Além disso, o sucesso da IA baseou-se em uma abordagem de raciocínio encadeado, que imita como os humanos decompõem problemas complexos passo a passo. Praticar essa decomposição lógica pode melhorar suas próprias habilidades de resolução de problemas.

O Que Você Pode Fazer

Para fortalecer seu raciocínio matemático e espacial, tente quebra-cabeças que envolvam geometria ou combinatória. Plataformas online como iqgenio oferecem desafios adaptativos que desenvolvem essas habilidades ao longo do tempo. Mesmo gastar 10 minutos diários em treinamento cerebral estruturado pode melhorar sua flexibilidade cognitiva.

Fonte: ZME Science

Curioso sobre seu próprio cérebro? Faça nosso teste de QI adaptativo gratuito ou tente 306 níveis de treinamento cerebral.

Curioso sobre o seu próprio QI?

Faça nosso teste adaptativo gratuito, cientificamente projetado, em 7 domínios cognitivos. Sem cadastro.

Fazer teste gratuito