Modelo da OpenAI derruba por conta própria consenso matemático de 80 anos

Um modelo interno de raciocínio da OpenAI — ainda não disponível ao público — acaba de derrubar um consenso matemático que resistia por 80 anos. O sistema refutou de forma autônoma a conjectura mais aceita sobre o problema das distâncias unitárias, formulado por Paul Erdős em 1946, produzindo uma prova de 125 páginas que identifica uma família infinita de arranjos de pontos mais eficientes que a grade quadrada.

O problema que resistiu por oito décadas

Conhecido como um dos quebra-cabeças mais famosos da geometria combinatória, o problema das distâncias unitárias pergunta: dado um conjunto de pontos numa superfície plana, qual o número máximo de pares separados por exatamente uma mesma distância fixa? O desafio é encontrar uma regra que valha para qualquer quantidade de pontos — dois ou um milhão.

Por décadas, a comunidade matemática construiu um consenso — sem prova formal — de que a grade quadrada era a configuração ótima. O modelo da OpenAI provou o contrário.

Para refutar a conjectura vigente, o sistema de IA não apresentou apenas um contraexemplo isolado, mas sim uma classe inteira de configurações mais eficientes — uma família infinita de arranjos de pontos superiores à grade quadrada.

Validação por especialistas de peso

A prova foi verificada por nove matemáticos externos, entre eles o ganhador da Medalha Fields Tim Gowers, que propôs recomendá-la para publicação na revista Annals of Mathematics. Também participou da verificação Thomas Bloom, o mesmo pesquisador que havia exposto publicamente uma afirmação falsa anterior da própria OpenAI sobre matemática — o que torna seu aval ainda mais significativo.

Hospedado no repositório de pré-prints arXiv, o artigo “Observações sobre a refutação da conjectura das distâncias unitárias” traduz a prova de 125 páginas gerada pela IA para uma linguagem matemática mais curta, mais clara e mais verificável. No artigo de verificação independente — ainda não revisto por pares —, os autores simplificam e generalizam o argumento original e refletem sobre o que esse episódio significa para a relação entre matemáticos e sistemas de IA.

O que torna esse feito extraordinário

O resultado não veio de um sistema especializado em matemática, mas sim de um modelo de raciocínio de uso geral — o mesmo tipo de sistema que resume documentos, dá dicas culinárias e escreve textos. Isso sugere que capacidades sofisticadas de raciocínio estão emergindo nesses sistemas de forma inesperada.

Outro detalhe crucial: a pergunta que gerou essa resposta não era um pedido explícito para refutar a conjectura. Era apenas uma questão aberta sobre se ela poderia ser verdadeira ou falsa. O modelo chegou sozinho à conclusão de que era falsa — e provou isso.

Não foi uma simples pesquisa no Google. O sistema conectou linhas de raciocínio que estavam dispersas na literatura matemática, e nenhuma delas originalmente relacionada ao problema de Erdős. Os trabalhos conectados foram: Golod-Shafarevich (1964), Ellenberg-Venkatesh (2007/2016) e Hajir-Maire-Ramakrishna (2021).

Ferramenta ou colaboradora?

Mesmo que a ciência exija que um humano assine embaixo e responda pela validade do argumento, é inegável que uma fronteira técnica foi cruzada: uma IA de uso geral gerou uma prova matematicamente válida para um problema que resistiu 80 anos ao esforço humano. A OpenAI afirmou que esta é a primeira vez que uma IA resolveu autonomamente um problema aberto de relevância central para um campo da matemática.

Se a IA fez isso sozinha e os melhores especialistas confirmaram, ela deixou de ser ferramenta e virou colaboradora? Para Mark Sellke, matemático da OpenAI, a resposta aponta para o futuro: “Todos nós esperávamos ver algo assim em algum momento. A questão era quando.”