OpenAI quebrou um problema matemático de 80 anos sem modelo especializado

O modelo de raciocínio de uso geral da OpenAI acaba de quebrar uma conjectura de 80 anos em geometria discreta. O sistema não foi treinado para fazer matemática. Roda na mesma arquitetura que redige e-mails e escreve Python, e na terça-feira produziu uma nova família de configurações geométricas que quatro matemáticos já verificaram.

O problema tem um enunciado enganosamente simples. Tome n pontos em um plano. Quantos pares deles podem estar exatamente à mesma distância um do outro, digamos uma unidade? Paul Erdős propôs a pergunta em 1946 e ofereceu um limite superior: da ordem de n elevado a (1 mais o(1)), uma forma de dizer “pouco mais que linear”. Por décadas, as melhores configurações conhecidas vinham de variantes da grade quadrada, e a grade encostava nesse teto. Matemáticos em atividade tratavam o limite como essencialmente apertado.

O modelo da OpenAI não apertou o limite. Quebrou. O sistema produziu uma família inteira de disposições de pontos com pelo menos n elevado a (1 mais δ) pares à distância unitária, para um δ fixo maior que zero. Não é um refinamento; é um contraexemplo ao núcleo da conjectura. Will Sawin, um dos quatro matemáticos que revisaram o trabalho, refinou o novo expoente em uma expressão limpa. Thomas Bloom, Melanie Wood e Noga Alon, o resto do time de verificação, confirmaram que a construção se sustenta.

Você também pode gostarAnthropic compra a Stainless e fecha o pipeline de SDK que a OpenAI usava

O que chama atenção no método é que ele não veio de dentro da geometria. O modelo cruzou para a teoria algébrica dos números, estendendo os inteiros gaussianos a outros corpos de números algébricos e tratando os pontos do reticulado resultante como configurações candidatas. Essa ponte, a geometria puxada para a teoria dos números, era o salto que os humanos haviam deixado passar por oito décadas. É o tipo de movimento que, em um seminário de matemática, recebe um aceno lento e um silêncio longo.

As reações dos matemáticos chegaram no primeiro dia. Timothy Gowers, Medalha Fields, chamou o resultado de “o primeiro exemplo realmente claro de uma IA resolvendo um problema matemático realmente conhecido”. Alexander Wei, pesquisador da OpenAI, escreveu que o resultado é do tipo que um revisor dos Annals of Mathematics aceitaria “sem qualquer hesitação”. Essa última afirmação dá para checar. A prova foi publicada em PDF, com um documento de observações de apoio, e a comunidade matemática mais ampla já está lendo.

O enquadramento que a OpenAI adota é que esta é a primeira vez em que um sistema de IA resolve de forma autônoma um problema aberto proeminente e central de um campo da matemática. O verbo “autônoma” carrega muito peso aí. O modelo produziu a construção; a prova foi vetada, refinada e estressada por quatro matemáticos humanos antes de qualquer anúncio. A distinção importa, porque a OpenAI já passou por aqui antes.

Em outubro de 2025 a empresa fez circular a afirmação de que outro modelo interno tinha resolvido dez problemas abertos colocados por Erdős. Em poucos dias, matemáticos mostraram que várias daquelas “soluções” ou já eram conhecidas ou simplesmente estavam erradas. A OpenAI retirou a afirmação geral. Esse episódio é o motivo pelo qual o anúncio desta semana abre com os nomes dos verificadores em vez do nome do modelo. Os quatro matemáticos são a garantia.

O outro detalhe que vale guardar é que tipo de modelo produziu o resultado. A OpenAI não revelou o nome do sistema, só que é um modelo de raciocínio de uso geral, a mesma família que sustenta chat, escreve código e responde a tickets de atendimento. Não há variante especializada em matemática no circuito. A mesma arquitetura que toca as conversas do dia a dia tocou isso. A implicação é que o gargalo para a matemática movida a IA talvez não fosse um modelo afinado para matemática. Pode ter sido cálculo e paciência.

Que esse gargalo arrebente é a história de verdade. Por muito tempo, a suposição de trabalho entre pesquisadores foi que a matemática genuinamente original exigiria sistemas feitos sob medida: provadores de teoremas, frameworks de verificação formal, modelos estreitos treinados sobre corpus de provas. O que aterrissou na terça é outro tipo de evidência. Um raciocinador apontado para um problema famoso, sem solução, de oitenta anos; com espaço suficiente para pensar, ele produziu algo que Sawin, Bloom, Wood e Alon concordaram em aceitar como correto. O caminho da janela de chat até Erdős acabou sendo mais curto do que se esperava.

Leitura recomendadaDois pontos sob Opus 4.6, cinco vezes mais barato: Gemini 3.5 Flash refaz a conta

Algumas ressalvas seguem valendo. O modelo não está disponível publicamente. Grupos independentes fora do painel original de quatro matemáticos vão ler a prova nas próximas semanas, e o processo completo de revisão por pares dos Annals ou de outro periódico de primeira linha vai levar meses. O expoente δ é pequeno. A construção não resolve o problema das distâncias unitárias na esfera nem em dimensões maiores. Nada disso reduz o que aconteceu na terça. Apenas o coloca em escala.

O que muda é a expectativa. Um ano atrás, a pergunta para a IA na matemática era se esses sistemas algum dia produziriam provas originais relevantes. A partir desta semana, a pergunta é qual é o próximo problema aberto a cair, e se os matemáticos que verificam as provas vão continuar recebendo o crédito que Alon e seus colegas receberam aqui.

Uma conjectura de 1946 é um daqueles objetos quietos que esperam numa prateleira até a mão certa descê-los. A mão que a desceu nesta semana rodava em um cluster de GPUs, não tinha sido treinada para o trabalho, e terminou o serviço enquanto quatro matemáticos olhavam.