Como o GPT-5.6 Sol ajudou a refutar a conjectura de Maxwell, de 150 anos

Coloque três cargas elétricas iguais nos vértices de um triângulo equilátero e o campo resultante terá quatro pontos de equilíbrio, onde todo empurra-e-puxa se anula: um no centro e três encostados logo dentro das arestas. Agora acrescente duas cargas bem pequenas, uma logo acima e outra logo abaixo desse centro. O ponto central se desfaz em vinte e um, e toda a configuração salta para vinte e quatro.

Essa construção foi publicada no arXiv em 29 de julho como um contraexemplo à conjectura de Maxwell, um limite para pontos de equilíbrio eletrostático que remonta ao tratado de 1873 de Maxwell. Os autores também revelaram que a ideia veio de um modelo de linguagem de grande porte. Abaixo, explico o que a conjectura afirmava, como o contraexemplo funciona, o que o GPT-5.6 Sol fez (e não fez) e por que essa revelação é, possivelmente, a parte mais interessante da história.

A resposta rápida: como a conjectura de Maxwell caiu

A conjectura impunha um teto para quantos pontos de equilíbrio o campo de n cargas pontuais poderia ter: no máximo (n−1)^². Para cinco cargas, isso dá 16. Philip Arathoon, Gavin Ball e Matthew Kvalheim construíram uma configuração com cinco cargas com pelo menos 24 pontos, um contraexemplo direto. O GPT-5.6 Sol sugeriu a ideia geométrica; os três autores fizeram a análise, rodaram a álgebra computacional e escreveram a prova.

Com esse resumo em mãos, vamos ver de onde veio a conjectura e por que ela resistiu por tanto tempo.

O que foi a conjectura de Maxwell?

James Clerk Maxwell levantou a questão em um breve trecho do seu Treatise on Electricity and Magnetism de 1873, perguntando quantos pontos de equilíbrio um sistema de cargas poderia produzir. Isso ficou como uma observação passageira por quase um século, até que Marston Morse e Stewart Cairns propuseram o mesmo problema em 1969, aparentemente sem saber que Maxwell havia chegado lá antes. É um detalhe pequeno de que eu gosto mais do que provavelmente deveria.

A formulação precisa que todos discutem hoje veio em 2007, quando Andrei Gabrielov, Dmitry Novikov e Boris Shapiro leram o trecho de Maxwell com atenção e o transformaram em uma conjectura: se os pontos de equilíbrio do potencial gerado por n cargas são todos não degenerados, pode haver no máximo (n−1)^² deles. Essa é a única fórmula de que você realmente precisa, então, se álgebra te deixa tenso, o pior já passou. O limite vale trivialmente para duas cargas. Para três, ninguém sabe se quatro é mesmo o máximo, exceto no caso especial em que as três cargas são iguais.

Para entender por que esse limite importa, ajuda compreender o que são, de fato, os pontos de equilíbrio.

Entendendo a conjectura de Maxwell com um exemplo simples

Toda carga cria um campo. Coloque várias cargas em um ambiente e seus campos se sobrepõem, empurrando e puxando em direções diferentes em cada ponto do espaço. Em certos locais, as forças de cada carga se cancelam exatamente, e uma partícula de teste colocada ali não sentiria força resultante alguma. Esses são os pontos de equilíbrio, também chamados de pontos críticos do potencial eletrostático.

Contá-los não é mera burocracia. O número e a disposição desses pontos limitam o formato de todo o campo, do mesmo modo que áreas planas em uma cadeia de montanhas restringem como essa cadeia pode se organizar. Portanto, impor um limite à contagem é, na prática, afirmar quão complexo um campo eletrostático pode ser — razão pela qual uma pergunta lançada de passagem em 1873 manteve matemáticos ocupados por um século e meio.

Agora que temos noção do que a conjectura protegia, vamos ver exatamente como ela se desfez.

Como a conjectura de Maxwell foi refutada

A construção é curta o suficiente para caber em quatro passos. A menos que você queira os cálculos do hessiano, pode pular a nota no arXiv; o interessante é o formato do argumento:

• Coloque três cargas unitárias nos vértices de um triângulo equilátero. Esse campo tem quatro equilíbrios: um no centro e três deslocados para dentro ao longo das arestas.
• Adicione duas cargas bem menores no eixo de simetria, uma ligeiramente acima do plano e outra ligeiramente abaixo, formando uma bipirâmide triangular rasa.
• Os três equilíbrios das arestas sobrevivem à adição. O central não. Ele bifurca em uma família de 21 equilíbrios, 10 com um índice de Morse e 11 com o outro.
• Três mais vinte e um dá pelo menos 24 pontos críticos não degenerados com cinco cargas, contra um teto previsto de 16.

As intensidades das cargas não são arbitrárias. Os autores escolhem um valor específico, ajustado para que o termo de ordem dominante do potencial das cargas pequenas cancele o termo correspondente do triângulo — é isso que revela a estrutura mais fina que produz os 21 pontos. Há também um passo fácil de perder na primeira leitura: o argumento até aqui não descarta pontos críticos degenerados em outros locais da configuração, então os autores aplicam um argumento de transversalidade a um conjunto levemente perturbado de intensidades, o que elimina esses casos.

Aí vem a parte que as manchetes ignoraram. O mesmo truque pode ser iterado. Adicione outro par de cargas pequenas e você ganha mais 20 pontos críticos ao custo de 2 cargas, gerando configurações de 3 + 2m cargas com pelo menos 4 + 20m equilíbrios. Isso dá uma razão assintótica de 10 pontos críticos por carga, contra os 25/7 obtidos por Herbert Edelsbrunner, Christopher Fillmore e Gonçalo Oliveira no início deste ano. O contraexemplo é a manchete; a razão é o resultado sobre o qual outros vão construir.

Com a construção clara, chegamos ao ponto incomum desta história: quem — ou o quê — de fato teve a ideia.

Que papel o GPT-5.6 Sol desempenhou?

A revelação está em uma seção curta do artigo, direta sobre o que aconteceu: "A ideia por trás desta construção foi sugerida por um LLM (GPT-5.6 Sol, da OpenAI)." Os autores acrescentam que checaram a matemática por conta própria e escreveram o argumento com suas próprias palavras, e que o Mathematica e o Maple ficaram com os cálculos e as figuras.

Ou seja, o modelo contribuiu com uma estratégia — perturbar uma configuração simétrica com pequenas cargas fora do eixo e observar um ponto degenerado se fragmentar — e os autores a transformaram em expansões de Taylor de polinômios harmônicos, uma classificação de 21 pontos críticos pela assinatura do hessiano, três aplicações do teorema da função implícita e um argumento de transversalidade. Gerar uma ideia e provar um teorema são atividades diferentes, com modos de falha diferentes. Uma ideia que não funciona te custa uma tarde. Uma prova que não funciona te custa uma retratação. O modelo apontou para um lugar improvável no mapa; três matemáticos construíram a estrada.

Vale insistir nesse enquadramento, porém. "Apenas uma ideia" subestima a coisa. Qualquer um pode propor perturbar uma configuração simétrica. O útil é propor essa perturbação, com pequenas cargas axiais, sobre essa configuração-base, em um problema em que o espaço de busca do que tentar é, na prática, ilimitado. Ter bom faro para o que experimentar é grande parte da matemática de pesquisa. O fato de a sugestão ter vindo de um modelo, e não da intuição amadurecida de um especialista, é o cerne da história.

Por que este resultado importa

Uma questão matemática de 150 anos

A questão remonta à observação de Maxwell em 1873 — daí os "150 anos" em todas as manchetes. Mas vale ser preciso: Maxwell fez uma pergunta e uma observação. Ele não enunciou a conjectura que acabou de cair.

Cai uma conjectura moderna e influente

Como enunciado formal, a conjectura de Maxwell tem 19 anos e, por boa parte desse tempo, foi a hipótese organizadora do campo — o alvo a provar e o limite para o qual toda melhoria apontava. Agora, tudo indica que é falsa. O contraexemplo é um preprint de quatro páginas no arXiv que ainda não passou por revisão por pares, e seu passo central é uma classificação via hessiano checada com álgebra computacional, então cabem as ressalvas de sempre. Mas o argumento é curto, explícito e fácil de verificar por outros.

Novas perguntas substituem as antigas

Saber que o teto não é (n−1)^² não nos diz qual é. A construção iterada dos autores eleva o limite inferior conhecido para cerca de 10 pontos críticos por carga — um piso, não uma resposta. E aquelas três cargas de antes? Se elas podem produzir mais de quatro equilíbrios continua em aberto — o que é curioso de ainda termos que dizer sobre o menor caso interessante depois de tanto tempo.

O papel crescente da IA na descoberta matemática

Algo mudou no último ano. Entre outubro de 2025 e o início de 2026, ferramentas de IA ajudaram a mover cerca de uma centena de problemas do banco de problemas de Erdős para a coluna dos resolvidos, e Terence Tao manteve uma página acompanhando essas contribuições até parar de atualizá-la no fim de junho de 2026. Boa parte foi busca bibliográfica — o modelo encontra o artigo de 1974 que já resolvia a questão. Mas nem tudo foi assim. Alguns problemas tiveram soluções originais montadas em grande parte pelo modelo, e Tao apontou pelo menos uma como um marco real.

O padrão nesses casos é consistente — e combina com o que aconteceu na conjectura de Maxwell. Modelos são bons em propor candidatos, vasculhar uma literatura que ninguém consegue abarcar sozinho e explorar, da noite para o dia, um espaço enorme de construções sem se entediar. A verificação continua com humanos e com assistentes de prova como o Lean. Se você quer a base conceitual de como esses sistemas funcionam antes de formar opinião, nossa trilha de aprendizado AI Fundamentals é um ótimo ponto de partida.

A IA pode, no futuro, descobrir provas matemáticas?

Gerar conjecturas já virou rotina. Assistência à prova é comum o bastante para nem chamar atenção. A demonstração formal de teoremas — um modelo produzir um argumento completo, checado por máquina, para um problema em nível de pesquisa sem intervenção humana — é onde está hoje a fronteira, e há resultados dos dois lados, dependendo de quão estrito é o seu critério de "nível de pesquisa".

A limitação não é, evidentemente, criatividade. Modelos atuais ainda alucinam referências, ainda perdem o fio em cadeias longas de raciocínio e ainda são muito melhores em gerar candidatos do que em saber qual candidato está certo. Essa última assimetria é exatamente por que a verificação humana é estrutural, e não decorativa. Um modelo que conseguisse avaliar de forma confiável sua própria saída seria um tipo diferente de sistema do que temos hoje — e ninguém consegue dizer, no momento, o quão distante isso está.

GPT-5.6 Sol e o futuro da pesquisa científica

A matemática é um caso de teste excepcionalmente limpo, porque provas estão certas ou erradas. Mas a mesma dinâmica — IA acelerando a fase de geração de ideias enquanto humanos mantêm a verificação — está aparecendo em várias disciplinas.

Isso vai muito além da matemática. Física, química, ciência dos materiais e engenharia compartilham o mesmo gargalo: gerar hipóteses consome muito tempo humano, e a maioria delas falha. Um pesquisador consegue, com seriedade, perseguir algumas poucas estruturas ou mecanismos por ano. O espaço de candidatos é muito maior do que isso.

A geração de ideias pode acabar sendo a capacidade de pesquisa que mais importa, justamente porque é a etapa em que a vazão humana é menor e o custo de um palpite errado é menor. Um modelo que consegue vasculhar um espaço enorme e dizer "olhe aqui" muda a velocidade da descoberta sem precisar acertar muitas vezes. Foi, em linhas gerais, o que aconteceu aqui.

Equívocos comuns sobre esta descoberta

Antes de tirar conclusões amplas, vale desfazer algumas coisas que a cobertura noticiosa errou.

O GPT-5.6 Sol não provou o teorema de forma independente

O modelo sugeriu a construção geométrica. A prova — as expansões, a classificação via hessiano, o argumento de transversalidade — foi trabalho dos autores.

Pesquisadores humanos verificaram cada passo

Mathematica e Maple checaram cálculos e geraram as figuras. A verificação matemática foi feita pelos três autores, e eles afirmam isso explicitamente no artigo.

A conjectura de Maxwell não foi um teorema formal de Maxwell

Maxwell fez uma observação em 1873. Gabrielov, Novikov e Shapiro formularam a conjectura em 2007 com base na leitura desse trecho.

O problema matemático não está completamente resolvido

Assumindo que o contraexemplo se sustente, sabemos que (n−1)^² está errado. Não sabemos qual é o limite correto, e o caso com três cargas continua em aberto.

Conclusão

A conjectura de Maxwell caiu graças a uma colaboração: uma ideia geométrica gerada por IA e três matemáticos que fizeram o trabalho de transformá-la em algo verificável. O artigo é incomumente honesto sobre quem fez o quê. Uma seção de três frases sobre a revelação que provavelmente será citada mais do que o próprio teorema.

O que torna isso digno da sua atenção é o tipo de contribuição, mais do que o seu tamanho. Um modelo sem envolvimento pessoal no problema propôs uma construção que as pessoas mais interessadas nele ainda não tinham tentado nessa configuração — e funcionou. A questão mais ampla, de quantos equilíbrios n cargas podem ter, continua em aberto — assim como a questão de como será a pesquisa quando a geração de ideias deixar de ser o recurso escasso. Se você quer acompanhar como esses sistemas estão sendo aplicados na prática, e não só no discurso de marketing, nossos cursos de IA cobrem do conceito à implantação.