IA da OpenAI Refuta Conjectura de Erdős de 80 Anos e Surpreende Matemáticos
Um modelo de inteligência artificial (IA) desenvolvido pela OpenAI alcançou um feito histórico ao refutar a Conjectura da Distância Unitária de Erdős, um problema matemático que desafiava especialistas há quase 80 anos. O anúncio, feito em meados de maio de 2026, marca a primeira vez que uma IA resolve de forma autônoma um problema aberto proeminente em um campo central da matemática, gerando surpresa e admiração na comunidade científica global.
A Conjectura da Distância Unitária, proposta pelo renomado matemático húngaro Paul Erdős em 1946, questiona o número máximo de pares de pontos que podem estar a uma distância exata de uma unidade entre si, quando ‘n’ pontos são dispostos em um plano bidimensional. Por décadas, a crença predominante entre os matemáticos era que as melhores soluções se assemelhavam a grades quadradas.
Avanço Inesperado: Nova Família de Construções
O modelo de raciocínio da OpenAI refutou essa antiga crença ao descobrir uma família completamente nova de construções de pontos que superam as soluções anteriores. A IA não apenas encontrou uma resposta, mas também demonstrou que a hipótese aceita por décadas estava, de fato, incorreta. O sistema injetou uma melhoria polinomial na equação, encontrando um crescimento de pelo menos n elevado à potência de 1.014, um avanço significativo que especialistas não esperavam ser conectado a este problema de geometria.
A prova gerada pela IA, que se estende por aproximadamente 2,5 páginas de forma autônoma, foi posteriormente refinada e detalhada, chegando a 18 páginas. Matemáticos de renome, como Noga Alon, Timothy Gowers e Will Sawin, revisaram e validaram o trabalho, descrevendo-o como um marco importante para a IA e a matemática. Thomas Bloom, que mantém um site catalogando os problemas de Erdős, também confirmou a validade do resultado.
Veja também:
Significado para a Matemática e a IA
Este feito é considerado um hito porque demonstra a capacidade da IA de não apenas processar dados ou executar instruções programadas, mas de gerar raciocínio original e verificável. A OpenAI destacou que o modelo utilizado é um sistema de raciocínio de propósito geral, e não um projetado especificamente para este problema, o que implica uma maior capacidade dos sistemas de IA em manter longas e difíceis cadeias de raciocínio e conectar ideias em diferentes campos.
A validação por matemáticos independentes e a verificação passo a passo do raciocínio foram cruciais para a credibilidade deste anúncio, especialmente após tentativas anteriores da OpenAI de reivindicar soluções para problemas matemáticos que se mostraram serem apenas recuperações de soluções existentes.
Contexto dos Avanços da IA na Matemática
O avanço da OpenAI se insere em um período de intensa inovação na aplicação da inteligência artificial à matemática. Nos últimos anos, sistemas de IA têm demonstrado crescente competência em resolver problemas complexos e auxiliar na pesquisa.
- AlphaEvolve (Google DeepMind): Em março de 2026, o AlphaEvolve, um sistema baseado em Large Language Models (LLMs), melhorou os limites inferiores de cinco números clássicos de Ramsey, problemas notórios por sua dificuldade em combinatória. Este sistema é notável por “evoluir” algoritmos de busca em vez de buscar diretamente as respostas.
- AxiomProver (Axiom): Em fevereiro de 2026, a startup Axiom anunciou que sua ferramenta AxiomProver resolveu quatro problemas matemáticos até então sem resposta, incluindo uma conjectura em geometria algébrica.
- Hadwiger-Nelson Problem: Outros estudos, como um de janeiro de 2025, já exploravam o uso de redes neurais para o problema de Hadwiger-Nelson (um problema de coloração de planos com raízes em 1950), obtendo melhorias após 30 anos.
Esses desenvolvimentos indicam uma mudança de paradigma, onde a IA não é apenas uma ferramenta de cálculo, mas um “co-matemático” capaz de descobrir padrões, formular conjecturas e verificar provas, acelerando a descoberta algorítmica e expandindo as fronteiras da matemática pura e aplicada.
Desdobramentos e o Futuro da Pesquisa Matemática
Especialistas preveem que 2026 será um ano de avaliação rigorosa e foco na utilidade prática da IA. A capacidade de sistemas como o da OpenAI de produzir raciocínio verificável e refutar conjecturas de longa data sugere que a IA está passando de gerar texto plausível para produzir conhecimento científico auditável.
Embora a IA não deva substituir os matemáticos humanos, ela está transformando profundamente a forma como a disciplina é praticada, permitindo que pesquisadores abordem problemas de maneiras antes impossíveis e acelerando o ritmo das descobertas. A colaboração entre humanos e máquinas promete ampliar os limites do conhecimento matemático, impulsionando inovações futuras.