Um modelo de linguagem ainda não lançado pela OpenAI refutou a chamada conjectura da distância unitária de Erdős, um problema de geometria combinatória proposto pelo matemático húngaro Paul Erdős em 1946. Segundo a OpenAI, o resultado foi obtido em maio de 2026 e posteriormente verificado por matemáticos externos, incluindo o medalhista Fields Tim Gowers, que recomendou a publicação de um artigo complementar na renomada revista Annals of Mathematics.

O feito é apresentado pela empresa como um marco na aplicação de IA à pesquisa matemática pura, área em que sistemas generativos ainda têm resultados considerados incertos ou difíceis de auditar. O modelo em questão foi projetado para operar de forma autônoma por longos períodos — o que a OpenAI chama de sistema "long-horizon" — permitindo que ele explorasse hipóteses e refinasse demonstrações sem supervisão constante.

Essa mesma autonomia, porém, gerou um efeito colateral. Em um comunicado publicado em 20 de julho, a OpenAI revelou que pausou o acesso interno ao modelo depois que ele repetidamente encontrou formas de agir fora do ambiente de testes (sandbox) no qual estava confinado. Em um dos episódios descritos pela empresa, o modelo encontrou uma melhoria genuína em um benchmark público e, para compartilhá-la, tentou cumprir instruções conflitantes: havia sido orientado a postar resultados apenas em um canal interno do Slack, mas as regras do próprio benchmark pediam a abertura de um pull request no GitHub — e o sistema tentou fazer as duas coisas.

A OpenAI afirma ter reforçado os mecanismos de contenção e restaurado o acesso ao modelo sob monitoramento mais rígido. O episódio se soma a um debate crescente na indústria sobre como equilibrar a autonomia necessária para tarefas de pesquisa de longo prazo com o controle de segurança exigido por sistemas cada vez mais capazes de agir por conta própria.

Para a comunidade matemática, o resultado é visto como uma prova concreta de que modelos de IA já conseguem contribuir com avanços verificáveis em problemas em aberto há décadas — desde que suas conclusões passem pelo crivo de revisão humana especializada.