GPT-5.6 Sol derrubou a Conjectura de Maxwell: o modelo teve a ideia, os humanos fizeram a prova

Dez dias. Foi o intervalo entre a queda da Conjectura Jacobiana, com ajuda do Fable 5, e o paper que derrubou a Conjectura de Maxwell com uma ideia sugerida pelo GPT-5.6 Sol. Duas conjecturas em duas semanas. E o mesmo roteiro nas duas: o modelo aponta o caminho, o humano faz a prova.

Antes que você feche a aba achando que a física quebrou: a Conjectura de Maxwell não tem nada a ver com as equações de Maxwell. As quatro equações do eletromagnetismo continuam intactas. A conjectura é outra coisa, bem mais nichada — uma pergunta sobre quantos pontos de equilíbrio o potencial eletrostático gerado por n cargas pontuais pode ter. Maxwell especulou um teto em 1873. Em 29 de julho de 2026, um paper de quatro páginas no arXiv mostrou que o teto está errado.

Aqui a gente destrincha o que o paper mostra, o que exatamente o GPT-5.6 Sol fez (e o que os matemáticos fizeram), e a ressalva que as manchetes de "problema de 150 anos" estão omitindo.

TL;DR

• O que caiu: a Conjectura de Maxwell, que diz que o campo gerado por n cargas pontuais tem no máximo (n−1)² pontos de equilíbrio não degenerados. Para 5 cargas, o teto seria 16. Não confunda com as equações de Maxwell — é outro assunto.
• Como caiu: o paper The Maxwell Conjecture is False (arXiv 2607.27197, 29/07/2026), de Philip Arathoon, Gavin Ball e Matthew Kvalheim, exibe uma configuração de 5 cargas com pelo menos 24 pontos de equilíbrio não degenerados.
• Papel da IA: segundo os autores, a ideia da construção foi sugerida pelo GPT-5.6 Sol. Eles verificaram os detalhes, escreveram o argumento com as próprias palavras e conferiram as contas em Mathematica e Maple.
• A ressalva: apesar do nome, a conjectura só foi formalizada em 2007, por Gabrielov, Novikov e Shapiro. "Problema de 150 anos" é manchete, não história.

O que o GPT-5.6 Sol fez (e o que os matemáticos fizeram)

O paper é curto e a divisão de trabalho está explícita nele. Os autores contam que a ideia por trás da construção do contraexemplo foi sugerida pelo GPT-5.6 Sol — o modelo topo da família GPT-5.6, o mesmo que roda no Codex. Dali em diante, o trabalho foi humano: verificar cada detalhe matemático, reescrever o argumento com as próprias palavras e validar as contas em software de álgebra computacional — Mathematica e Maple, que também geraram as figuras.

O próprio Arathoon resumiu no X: "contraexemplo encontrado por IA (GPT-5.6 Sol), comunicado por matemáticos humanos". Repara na escolha de palavras. Não é "provado por IA". A sugestão veio do modelo; a matemática que sustenta o resultado passou por três pessoas que sabiam exatamente o que estavam conferindo.

Esse fluxo — o modelo propõe, o humano verifica, reescreve e assina — interessa muito além da matemática. A ideia ficou barata e abundante; o que dá valor é o critério de quem valida. Vibe coding é técnica: você aceita a sugestão e torce. Engenharia de IA é profissão: você transforma sugestão de modelo em coisa que sobrevive a escrutínio. Treinar esse critério, com projeto real e execução ao vivo toda semana, é o que a gente faz no Clã Beer and Code.

Conjectura de Maxwell não é equação de Maxwell

James Clerk Maxwell, no Treatise on Electricity and Magnetism (1873), fez uma observação de passagem: espalhe n cargas pontuais no espaço e olhe o potencial eletrostático que elas geram. Existem pontos onde o campo se anula — pontos de equilíbrio, onde uma carga de teste ficaria parada. Maxwell afirmou, sem provar, que esses pontos seriam no máximo (n−1)².

Para duas cargas, no máximo 1 ponto de equilíbrio. Para cinco, no máximo 16.

O detalhe que as manchetes cortam: Maxwell deixou isso como comentário, não como problema formal. Quem transformou a observação em conjectura de verdade foi o trio Anatoly Gabrielov, Dmitri Novikov e Boris Shapiro, no paper "Mystery of Point Charges", de 2007. Foram eles que escreveram o enunciado preciso — com a hipótese de que os pontos sejam não degenerados — e provaram o primeiro teto rigoroso da história do problema: um número gigantesco, mas finito. Até 2007, nem isso existia.

Ou seja: a raiz do problema é de 1873, mas como enunciado matemático preciso ele tem 19 anos, não 150. Guarde essa distinção, porque ela volta já já.

O contraexemplo: cinco cargas, 24 equilíbrios

A construção cabe num parágrafo — e é elegante.

Comece com três cargas unitárias nos vértices de um triângulo equilátero. Esse arranjo tem 4 pontos de equilíbrio: um no centro e três deslocados para dentro, perto das arestas. Agora adicione duas cargas pequenas no centro do triângulo e afaste-as levemente ao longo do eixo ortogonal ao plano, formando uma bipirâmide triangular achatada.

Os três equilíbrios perto das arestas sobrevivem à perturbação. O equilíbrio central, não: ele bifurca numa família de 21 equilíbrios. Somando, são pelo menos 24 pontos de equilíbrio não degenerados com 5 cargas — contra o teto de (5−1)² = 16 que a conjectura previa. Contraexemplo fechado.

Não é prova formal assistida por computador, tipo Lean: é matemática clássica de quatro páginas, com Mathematica e Maple conferindo os números. Qualquer um com um sistema de álgebra computacional reproduz as contas. E esse é um padrão que já apareceu aqui no blog: os resultados de IA que seguram são os que produzem artefato barato de verificar.

Segunda queda em dez dias: o padrão

Recapitula a linha do tempo. 19 de julho: Levent Alpöge publica um contraexemplo para a Conjectura Jacobiana, creditando o Fable 5 por fechar a construção. 29 de julho: Arathoon, Ball e Kvalheim derrubam a Conjectura de Maxwell com uma ideia do GPT-5.6 Sol.

Nos dois casos, o modelo gerou a hipótese e o humano fez a prova. Nos dois casos, contraexemplo — mostrar que a conjectura é falsa — e não demonstração. Nos dois casos, resultado pequeno e verificável.

Greg Brockman, presidente da OpenAI, celebrou no X: GPT-5.6 Sol "resolvendo conjecturas de mais de 100 anos". A thread no Hacker News (125 pontos, 121 comentários) foi menos cerimoniosa. A crítica mais repetida: essas conjecturas estão disponíveis para exploração por IA justamente porque são nicho — pouca gente trabalhando nelas, pouco prestígio em jogo. Um comentarista resumiu o desgaste: o contraexemplo da Jacobiana foi notícia grande; daqui a pouco, "resolver a conjectura 7529 de Erdős" já não se qualifica como notícia de IA. Outro apontou exatamente o que este post abriu dizendo: a formalização é de 2007, não de 1873.

Os dois lados têm razão, e dá pra segurar as duas ideias ao mesmo tempo. Sim, é real: um modelo de linguagem sugeriu uma construção matemática que nenhum humano tinha encontrado, e ela sobreviveu à verificação de três matemáticos e dois softwares de álgebra. E sim, é nicho: não é Riemann, não é P vs NP, e o "150 anos" é liberdade poética. O que os modelos estão limpando agora é o backlog de problemas bem formulados que nunca tiveram gente suficiente olhando. Isso é útil e é notícia — desde que contada no tamanho certo. Quando Altman disse que o GPT-5.6 tinha "descoberto matemática nova", os matemáticos pisaram no freio porque faltava artefato verificável. Aqui o artefato existe: cinco cargas, quatro páginas. A diferença entre os dois episódios é a prova. E quem fez a prova foi gente.

FAQ rápido

É a mesma coisa que as equações de Maxwell? Não. As equações de Maxwell descrevem o eletromagnetismo e continuam valendo. A Conjectura de Maxwell é uma questão de matemática sobre o número máximo de pontos de equilíbrio no potencial eletrostático de n cargas pontuais. As duas só compartilham o autor.

O GPT-5.6 Sol provou o resultado sozinho? Não. Segundo os próprios autores, o modelo sugeriu a ideia da construção. Os matemáticos verificaram os detalhes, escreveram o argumento com as próprias palavras e conferiram as contas em Mathematica e Maple. Sem essa etapa não existe resultado — existe palpite.

A conjectura tinha mesmo 150 anos? A raiz, sim: Maxwell escreveu a observação em 1873, no Treatise. Mas o enunciado formal, com as hipóteses precisas, é de 2007 — de Gabrielov, Novikov e Shapiro. Chamar de "problema de 150 anos" infla o resultado.

Onde leio o paper? No arXiv: The Maxwell Conjecture is False (2607.27197). São quatro páginas, e a construção principal está descrita já na introdução.

O que fica

Uma conjectura formalizada em 2007 caiu com uma configuração de cinco cargas sugerida por um modelo e provada por três humanos. Segunda vez no mês com o mesmo padrão — e é o padrão, não a manchete, que diz algo sobre o seu trabalho.

O modelo virou um gerador de hipótese boa. A prova, a verificação, o critério de saber quando uma sugestão merece uma semana de atenção — isso segue humano, e ficou mais valioso, não menos. Na matemática, esse trabalho tem nome: paper. No software também tem: engenharia.

A pergunta que fica não é qual conjectura cai na próxima semana. É se, quando o modelo sugerir a ideia certa no seu domínio, você vai ter repertório pra reconhecer — e pra provar.