Um modelo interno de raciocínio da OpenAI refutou de forma autônoma uma conjectura clássica da geometria discreta proposta pelo matemático húngaro Paul Erdős em 1946, tornando-se o primeiro sistema de inteligência artificial a resolver, de ponta a ponta, um problema aberto em um subcampo ativo da matemática pura. O anúncio foi feito em 20 de maio de 2026 e a prova foi validada por um grupo de nove matemáticos externos, entre eles o ganhador da Medalha Fields Tim Gowers. O resultado é considerado um marco inédito na intersecção entre inteligência artificial e pesquisa científica avançada.
A conquista chama atenção porque ocorreu sem treinamento específico para o problema, sem estruturas auxiliares de busca de provas e sem qualquer direcionamento prévio. O modelo chegou à demonstração por conta própria, gerando uma ideia original e conduzindo-a até uma prova matematicamente válida em um problema que especialistas humanos tentaram resolver por oito décadas sem sucesso.
A OpenAI, empresa responsável pelo ChatGPT e pelos modelos GPT, é uma das principais organizações de inteligência artificial do mundo. O modelo usado na descoberta é de uso interno e não foi disponibilizado publicamente até o momento do anúncio.
O problema em questão pertence à geometria combinatória e é conhecido como unit distance problem, ou problema das distâncias unitárias. Ele investiga o número máximo de pares de pontos que podem estar a uma distância exata de 1 em um plano contendo n pontos. Desde 1946, o melhor limite inferior para esse número permanecia praticamente inalterado na literatura matemática.
Erdős conjecturou que esse número crescia de forma quase linear com n. Durante décadas, a comunidade matemática acreditava que arranjos em grade quadrada representavam o limite prático para essa maximização. A prova apresentada pelo modelo da OpenAI demonstrou o contrário: para infinitos valores de n, existem configurações de pontos com crescimento polinomialmente maior do que o esperado.
Em termos matemáticos, isso significa que o expoente real não é próximo de 1, como Erdős supunha, mas sim n elevado a 1 mais delta, onde delta é uma constante positiva fixa. A descoberta altera de forma significativa a compreensão que se tinha sobre o comportamento dessas configurações geométricas.
A validação da prova contou com a participação de nove matemáticos externos à OpenAI. Além de verificar a demonstração, eles assinaram um artigo complementar sobre o resultado, publicado no repositório arXiv. Tim Gowers, medalhista Fields e um dos mais renomados matemáticos contemporâneos, declarou que não há dúvida de que a solução para o problema das distâncias unitárias é um marco na matemática com IA, e que nenhuma prova gerada por inteligência artificial havia chegado perto disso antes.
O matemático Arul Shankar também se manifestou sobre o resultado, afirmando que os modelos atuais vão além de meros auxiliares e são capazes de ter ideias originais e engenhosas. Essa avaliação é particularmente relevante porque, até então, a visão dominante no campo era que sistemas de inteligência artificial serviam essencialmente para acelerar tarefas conhecidas, como verificação de código, geração de rascunhos e resumo de documentos.
O resultado também precisa ser contextualizado diante de um episódio anterior envolvendo a OpenAI e problemas de Erdős. Em outubro de 2025, o então vice-presidente da empresa, Kevin Weil, afirmou na rede social X que o GPT-5 havia encontrado soluções para dez problemas de Erdős até então em aberto. Thomas Bloom, matemático responsável pelo site Erdős Problems e que agora assina a verificação do resultado atual, rebateu a declaração à época, classificando-a como uma representação dramática e equivocada. Na ocasião, o modelo havia recuperado soluções já existentes na literatura, não produzido provas originais.
O resultado anunciado em maio de 2026 está sendo tratado como essencialmente diferente por esse mesmo grupo de verificadores. Diferentemente do episódio anterior, o modelo não apenas reproduziu conhecimento existente, mas construiu uma demonstração inédita que muda o estado da arte em um subcampo ativo da matemática.
Para profissionais de tecnologia, a conquista tem implicações que vão além da matemática pura. Ela sugere que modelos de linguagem avançados podem ser utilizados como ferramentas de descoberta científica, e não apenas de automação de tarefas repetitivas. A capacidade de gerar ideias originais e validáveis abre caminho para aplicações em áreas como criptografia, teoria da computação e ciência dos materiais, onde problemas estruturalmente semelhantes permanecem sem solução.
A descoberta também reacende debates sobre o papel da inteligência artificial na pesquisa fundamental. Se modelos de raciocínio podem produzir provas matemáticas originais sem direcionamento humano, a dinâmica colaborativa entre pesquisadores e sistemas de IA tende a se transformar profundamente nos próximos anos.
Apesar da relevância do resultado, é importante notar que o modelo responsável ainda é interno à OpenAI e não foi liberado para uso público. A empresa não detalhou quais foram os parâmetros ou a arquitetura específica do modelo utilizado, o que limita a capacidade da comunidade científica de avaliar e reproduzir independentemente o processo que levou à descoberta.
O veredito da comunidade matemática, no entanto, é claro: a prova é válida, a conjectura está refutada e a inteligência artificial demonstrou, pela primeira vez de forma inequívoca, capacidade de contribuição original para a fronteira do conhecimento matemático.
