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

O modelo de raciocínio de uso geral da OpenAI acabou de partir uma conjectura de 80 anos da geometria discreta. O sistema não foi treinado para fazer matemática. Corre na mesma arquitectura que redige correios electrónicos 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 enganadoramente simples. Tomemos n pontos num plano. Quantos pares deles podem estar exactamente à mesma distância uns dos outros, digamos uma unidade? Paul Erdős colocou a pergunta em 1946 e propôs um limite superior: da ordem de n elevado a (1 mais o(1)), uma forma de dizer “pouco mais que linear”. Durante décadas, as melhores configurações conhecidas vinham de variantes da grelha quadrada, e a grelha quase tocava esse tecto. Os matemáticos no terreno tratavam o limite como essencialmente apertado.

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

O que tem interesse no método é que não veio de dentro da geometria. O modelo passou à 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, foi o salto que os humanos andaram a falhar durante oito décadas. É o tipo de movimento que, num seminário de matemática, recebe um aceno lento e um longo silêncio.

As reacções dos matemáticos chegaram dentro do primeiro dia. Timothy Gowers, Medalha Fields, chamou-lhe “o primeiro exemplo realmente claro de uma IA a resolver um problema matemático realmente conhecido”. Alexander Wei, investigador da OpenAI, escreveu que o resultado é dos que um revisor dos Annals of Mathematics aceitaria “sem a menor hesitação”. Esta última afirmação é testável. A demonstração foi publicada em PDF, com um documento complementar de observações, e a comunidade matemática mais ampla está agora a ler.

O enquadramento a que a OpenAI se agarra é o de que esta é a primeira vez em que um sistema de IA resolve de forma autónoma um problema em aberto importante e central para um domínio matemático. O verbo “autonomamente” faz aqui muito trabalho. O modelo produziu a construção; a prova foi escrutinada, afinada e posta sob stress por quatro matemáticos antes de qualquer anúncio sair. A distinção conta, porque a OpenAI já cá esteve.

Em Outubro de 2025, a empresa fez circular a afirmação de que outro modelo interno tinha resolvido dez problemas em aberto colocados por Erdős. Em dias, os matemáticos mostraram que várias daquelas “soluções” ou já eram conhecidas ou estavam simplesmente erradas. A OpenAI retirou a afirmação geral. Esse episódio é a razão pela 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 a pena reter é que tipo de modelo produziu o resultado. A OpenAI não revelou o nome do sistema, apenas que se trata de um modelo de raciocínio de uso geral, a mesma família que sustenta o chat, redige código e responde a pedidos de apoio ao cliente. Não há nenhuma variante especializada em matemática no circuito. A mesma arquitectura que gere conversas correntes geriu isto. A implicação é que o estrangulamento para a matemática movida a IA talvez não tenha sido um modelo afinado para matemática. Pode ter sido computação e paciência.

Que esse estrangulamento se quebre é a história a sério. Durante muito tempo, a hipótese de trabalho entre os investigadores foi a de que matemática genuinamente original exigiria sistemas à medida: provadores de teoremas, plataformas de verificação formal, modelos estreitos treinados sobre corpora de provas. O que aterrou na terça é outro tipo de evidência. Um raciocinador apontado a um problema famoso, em aberto, com oitenta anos; com espaço suficiente para pensar, produziu algo que Sawin, Bloom, Wood e Alon concordaram em aceitar como correcto. O caminho entre a janela de chat e Erdős revelou-se mais curto do que se esperava.

Algumas reservas mantêm-se. O modelo não está publicamente disponível. Grupos independentes fora do painel inicial de quatro matemáticos vão ler a prova nas próximas semanas, e o processo completo de revisão por pares para os Annals ou outra revista de topo levará meses. O expoente δ é pequeno. A construção não resolve o problema das distâncias unitárias na esfera nem em dimensões superiores. Nada disto diminui o que aconteceu na terça. Limita-se a colocá-lo em escala.

O que muda é a expectativa. Há um ano, a pergunta sobre a IA na matemática era se esses sistemas conseguiriam alguma vez produzir provas originais com peso. A partir desta semana, a pergunta é qual o próximo problema em aberto a cair, e se os matemáticos que verificam as provas continuarão a ser creditados como Alon e os seus colegas foram aqui.

Uma conjectura de 1946 é um daqueles objectos calados que esperam numa prateleira até a mão certa os tirar de lá. A mão que a tirou de lá esta semana corria sobre um cluster de GPUs, não tinha sido treinada para o trabalho, e terminou a tarefa enquanto quatro matemáticos viam.

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

Mais artigos semelhantes

A Ascensão da Tecnologia Quântica na Ásia-Pacífico: Uma Análise das Tendências Regionais

O Xperia 1 VIII da Sony custa 1499 € e mantém a entrada para auscultadores

Novo Jogo Móvel “Touhou Gensou Eclipse” Lançado no Mercado Japonês

Apple Fitness+ Revoluciona o Bem-Estar em 2025

Meta testa o primeiro WhatsApp pago — e o essencial continua gratuito

O fantasma que governa: quando a IA autónoma ultrapassa os sistemas concebidos para a conter

Discussão