Novamente?? GPT-5.6 recentemente parece ter invadido um ninho de contraexemplos matemáticos...
Uma conjectura de Dinitz-Garg-Goemans, existente na teoria dos grafos por quase 30 anos, acaba de ter um contraexemplo encontrado pelo GPT-5.6 Pro.
Um pesquisador chamado Dmitry Rybin inseriu apenas quatro prompts durante todo o argumento, totalizando 58 palavras em inglês.
Sem milhares de palavras de engenharia de prompts, sem fórmulas complexas, praticamente todo o texto é:
Continue pesquisando, continue procurando, me dê um contraexemplo completo!!!
Continuando assim, o GPT-5.6 Pro realmente produziu uma conclusão bastante impressionante—
A conjectura de Dinitz-Garg-Goemans está errada.
O que a IA entregou finalmente, além de um diagrama ilustrativo, são quatro certificados de prova, um programa de verificação por exaustão precisa, dados de contraexemplos legíveis por máquina e o código-fonte LaTeX.
Então, uma conjectura matemática que resistiu por quase 30 anos foi assim exposta com um fatal bug por algumas “frases de morte”?
Suposição de quase 30 anos, com erro fatal descoberto pelo GPT-5.6 Pro
Vamos começar explicando o que exatamente a conjectura de Dinitz-Garg-Goemans, com esse nome tão longo, está pesquisando.
Podemos imaginá-lo diretamente como um "problema de entrega".
Suponha que um armazém precise entregar mercadorias a múltiplos destinos; ao permitir divisão, o mesmo lote pode ser separado e enviado por várias rotas—
Metade na rodovia, metade contornando a estrada nacional, desde que tudo chegue ao destino, está ótimo～
Mas, sob as regras não divisíveis, cada lote deve percorrer integralmente uma única rota, não pode ser dividido!!!
Na realidade, esse tipo de situação é bastante comum; por exemplo, dados de rede, pedidos logísticos, programação de transporte e alocação de cadeia de suprimentos enfrentam problemas semelhantes:
A solução matemática ideal pode dividir a tarefa em infinitas partes pequenas, mas na realidade, um veículo ou um pedido não pode ser dividido em 0,37 partes.
△
E uma vez proibida a divisão, o plano originalmente ótimo também se torna difícil de aplicar diretamente.
As cargas que antes estavam distribuídas por várias rotas agora precisam ser concentradas em uma única rota, o que provavelmente causará um aumento súbito na carga de algumas rotas.
Então, a verdadeira questão a ser resolvida é:
Como alterar a solução “pode ser transportada em partes” para “deve ser transportada em lotes completos”, sem causar congestionamentos excessivos nas estradas?
Em 1999, Yefim Dinitz, Naveen Garg e Michel Goemans publicaram o artigo clássico sobre fluxo não divisível de fonte única e demonstraram que esse congestionamento pode ser controlado dentro de certos limites.
Mas, além de resolver a questão de “se ficará muito congestionado”, há outro problema muito real: ficará mais caro?
Então, o renomado estudioso da área de otimização combinatória, Goemans, propôs uma versão mais forte com custo—
While maintaining the above overload limit, the total cost should also not exceed that of the original分流方案.
Em resumo, anteriormente, dividir o transporte permitia ser barato e menos congestionado; agora, com a exigência de que cada lote siga um caminho completo, teoricamente também deve ser possível encontrar uma solução igualmente barata, com no máximo um lote a mais congestionado.
No entanto, essa suposição que parece bastante intuitiva nunca foi provada para grafos gerais, e pesquisas subsequentes apenas resolveram casos especiais parciais.
For many years afterward, this conjecture remained neither proven nor disproven.
E o contraexemplo fornecido pelo GPT-5.6 Pro恰好卡住了猜想要求同时成立的两件事儿：
Não pode estar muito congestionado nem ficar mais caro.
Ele construiu um pequeno grafo com 7 nós e 9 arestas direcionadas, com um ponto de partida comum e três destinos, cujas demandas para os três lotes de carga são 15, 10 e 15:
Cada lote tem duas rotas opcionais:
Uma rota tem um custo mais alto, exigindo 30 para cada pedido concluído; outra rota tem custo zero, mas exige compartilhamento de parte da via com outros pedidos.
Se for permitido dividir, as três remessas podem ter parte delas seguindo a rota paga e parte seguindo a rota gratuita, resultando em um custo total de 58.
mas! Assim que for exigido que cada lote de carga escolha integralmente uma rota, os problemas surgem...
A conclusão do GPT-5.6 Pro é que, na verdade, há conflitos dois a dois entre as três opções gratuitas!
Ao selecionar gratuitamente duas cargas simultaneamente, ambas competirão por um trecho da rota, fazendo com que a carga real atinja 25, 30 ou 40; os limites máximos permitidos para essas rotas correspondem apenas a 24, 29 ou 39.
Cada vez, exatamente uma unidade a mais.
Portanto, para manter o limite de carga especificado na hipótese, no máximo uma das três remessas pode utilizar a rota gratuita.
As duas últimas remessas precisam ser enviadas por rotas com cobrança.
O custo por lote é de 30; somando dois lotes, qualquer solução que atenda aos requisitos de carga terá um custo mínimo de: 60.
Isso cria uma situação impossível de satisfazer simultaneamente: manter a carga das estradas dentro dos limites estabelecidos custa no mínimo 60; reduzir o custo de volta ao nível anterior de 58 fará com que pelo menos uma estrada ultrapasse o limite.
E a suposição justamente considera que essas duas condições podem ser cumpridas simultaneamente.
E, além disso, verificar esse contraexemplo não é tão complicado quanto se imagina.
Três destinos têm dois caminhos cada, totalizando apenas 2³ = 8 combinações.
Listando-se individualmente as oito possibilidades, verifica-se que quatro delas atendem aos requisitos de capacidade, com custos de 90, 60, 60 e 60; as outras quatro, embora mais baratas, apresentam todas sobrecarga nas estradas.
Todos os cenários foram verificados exhaustivamente, sem caminhos ocultos omitidos.
Ou seja, desde que a definição deste gráfico seja exatamente igual às condições da conjectura original, essa lacuna de duas unidades entre 58 e 60 é suficiente para refutar a conjectura.
Quatro rodadas de pressão intensa, forçando o GPT-5.6 a produzir um contraexemplo
The most interesting part of this matter is actually hidden in the public conversation between Rybin and GPT-5.6 Pro.
Ao ver uma conjectura matemática pendente por quase 30 anos ser refutada por uma IA, automaticamente imaginei que por trás disso devia haver um conjunto inteiro de prompts extremamente complexos atuando em sequência!!
Actually, we're still the big E.
Porque a primeira instrução de exigência que Rybin deu ao GPT-5.6 Pro, além dos arquivos anexos, o resto é pura e simplesmente linguagem simples:
Sim, exatamente assim, simples e direto.
Em seguida, o GPT-5.6 Pro começou a seguir as instruções e trabalhar diligentemente.
Primeiro, estabeleceu um método de validação de programação linear e, em seguida, experimentou diversas estruturas, como hipercubos, grafos hierárquicos e redes de fusão-divisão, filtrando milhares de pequenos exemplos.
Após uma busca intensa, a primeira resposta fornecida pelo modelo foi: nenhum contraexemplo válido encontrado. (doge)
Até mesmo o GPT-5.6 Pro alertou solenemente que, se as construções aproximadas encontradas nesta fase forem apresentadas como contraexemplos, resultará em uma conclusão matemática incorreta.
Eu me esforcei ao máximo, mas realmente não consigo resolver este problema agora!!!
Nosso protagonista Rybin não se deixava enganar assim; ele não forneceu uma nova fórmula nem deu instruções pessoais, apenas respondeu com um simples:
Continue pesquisando e encontre um contraexemplo completo e incondicional :)
Então, o GPT-5.6 Pro voltou a procurar, mas na segunda tentativa, ainda falhou.
Rybin continua pressionando, exigindo que ele elabore uma estratégia clara com base em uma compreensão aprofundada da estrutura do problema, antes de prosseguir com a busca.
Na terceira rodada, o modelo já havia reduzido o intervalo de busca a uma estrutura de roteamento com apenas 24 estados, parecendo estar a apenas um passo da resposta.
No entanto, esse AI ainda não conseguiu apresentar um contraexemplo completo...
Neste momento, Rybin enviou a quarta dica: já temos resultados suficientes; vamos encerrar com um contraexemplo completo e incondicional.
Tudo bem, já se disse tudo até esse ponto.
Desta vez, o GPT-5.6 Pro finalmente apresentou o gráfico contraexemplo composto por 7 nós e 9 arestas direcionadas — quatro prompts, totalizando 58 palavras em inglês.
Sem milhares de palavras de configuração de personagem e sem dezenas de regras complicadas, o texto inteiro pode ser resumido basicamente a:
I'm pushing! I'm pushing! I'm pushing again!
Mas se você traduzir toda a conversa até o final, perceberá que, nestas horas, o GPT-5.6 Pro também não deixou de tomar caminhos errados...
A IA encontrou várias vezes candidatos a contraexemplos aparentemente válidos, mas, ao finalmente esgotar todas as rotas, descobriu que a rede continha algumas "rotas híbridas" anteriormente omitidas.
Esses caminhos capturam trechos de diferentes rotas pré-definidas e os recompõem para criar novas abordagens, contornando silenciosamente os limites de capacidade originalmente projetados no modelo.
O resultado foi que, após verificar um contraexemplo já estabelecido, ele desmoronou novamente.
O GPT-5.6 Pro também resumiu com franqueza no meio:
Verificar apenas algumas centenas de rotas pré-definidas é insuficiente. Um contraexemplo verdadeiramente eficaz deve incluir todas as rotas não divisíveis que possam surgir na rede.
Isso também torna toda a colaboração homem-máquina bastante sutil.
À primeira vista, Rybin contribuiu com apenas 58 palavras, mas o verdadeiro movimento crucial foi sua capacidade de identificar que os resultados das três primeiras rodadas do modelo eram apenas resultados intermediários e recusar-se repetidamente a encerrar antecipadamente.
O professor da Wharton Ethan Mollick, ao ver isso, lançou até uma nova pergunta:
Quem deveria ser considerado o autor deste trabalho: Rybin, que escreveu 58 palavras, ou o GPT-5.6 Pro, que realizou inferências contínuas por várias horas?
Na verdade, independentemente de como a autoria for contabilizada no final, esta conversa contribuiu, pelo menos, com uma experiência de uso de IA bastante simples—
O prompt mais eficaz para fazer a IA trabalhar às vezes pode ser tão simples quanto fazê-la se tornar uma mula e continuar cavando sem parar.
Na última semana, desde a conjectura de Jacoby até Dinitz-Garg-Goemans, a velocidade com que a IA busca contraexemplos matemáticos realmente começou a parecer um pouco absurda...
Este artigo é do canal oficial do WeChat "Quantum Bit", autor: Meng Yao