Two Proofs, DrawnDuas Provas, Desenhadas

1Every edge, exactly twiceToda aresta, exatamente duas vezes

A cycle in a graph is a closed loop of edges that returns to its start without repeating a vertex. A cycle double cover is a list of cycles that, together, pass over every edge of the graph exactly two times: no edge missed, no edge overused.

Look at the cube: its six faces are six cycles, and every edge of the cube lies on exactly two faces. The conjecture, posed by Szekeres (1973) and Seymour (1979), says a covering like this exists for every graph without a bridge. In July 2026, an OpenAI model produced a proof.

Um ciclo em um grafo é um laço fechado de arestas que volta ao ponto de partida sem repetir vértice. Uma cobertura dupla por ciclos é uma lista de ciclos que, juntos, passam por cada aresta do grafo exatamente duas vezes: nenhuma aresta esquecida, nenhuma aresta usada demais.

Olhe para o cubo: suas seis faces são seis ciclos, e cada aresta do cubo está em exatamente duas faces. A conjectura, proposta por Szekeres (1973) e Seymour (1979), afirma que uma cobertura assim existe para todo grafo sem pontes. Em julho de 2026, um modelo da OpenAI produziu uma prova.

2Why “bridgeless”?Por que “sem pontes”?

A bridge is an edge whose removal disconnects the graph: the only road between two islands. A cycle can never use a bridge: a loop that crosses to the far side must come back, and the only way back is the same edge, which a cycle may not reuse.

So a graph with a bridge has no cycle double cover, because that edge can never be covered even once. The conjecture claims this is the only obstruction. That is what makes it hard: nothing else may go wrong, ever, for any graph.

Uma ponte é uma aresta cuja remoção desconecta o grafo: a única estrada entre duas ilhas. Um ciclo nunca pode usar uma ponte: um laço que atravessa para o outro lado precisa voltar, e o único caminho de volta é a mesma aresta, que um ciclo não pode reutilizar.

Portanto um grafo com ponte não tem cobertura dupla por ciclos, porque essa aresta jamais é coberta, nem uma vez. A conjectura afirma que esse é o único obstáculo. É isso que a torna difícil: nada mais pode dar errado, nunca, em grafo nenhum.

3Shrink the enemy to degree 3Reduza o inimigo ao grau 3

Suppose the conjecture failed. Take a counterexample $G$ with as few edges as possible. Every classical trick now applies to $G$: if it had a 2-edge-cut, contracting an edge gives a smaller bridgeless graph, whose cover (it’s smaller, so it has one) lifts back to $G$: contradiction.

If some vertex had degree $\ge 4$, Fleischner’s splitting lemma lets us pull two edges off that vertex into a shortcut, keeping the graph 2-edge-connected. Again the smaller graph’s cover lifts back. So a minimum counterexample must be cubic (every vertex of degree exactly 3) and 3-edge-connected. Only these graphs need to be defeated.

Suponha que a conjectura falhasse. Tome um contraexemplo $G$ com o menor número possível de arestas. Todo truque clássico agora se aplica a $G$: se ele tivesse um corte de 2 arestas, contrair uma aresta daria um grafo sem pontes menor, cuja cobertura (é menor, então tem uma) se ergue de volta a $G$: contradição.

Se algum vértice tivesse grau $\ge 4$, o lema de divisão de Fleischner permite arrancar duas arestas desse vértice e fundi-las em um atalho, mantendo o grafo 2-aresta-conexo. De novo a cobertura do grafo menor se ergue de volta. Logo um contraexemplo mínimo precisa ser cúbico (todo vértice de grau exatamente 3) e 3-aresta-conexo. Só esses grafos precisam ser derrotados.

4Three spanning treesTrês árvores geradoras

A spanning tree touches every vertex with no loops. Double every edge of $G$: the result is 6-edge-connected, and a classical theorem of Tutte and Nash-Williams (1961) guarantees three edge-disjoint spanning trees in the doubled graph.

Read those trees back in $G$: they may now share edges pairwise, but no edge belongs to all three. That weak-sounding fact is the entire structural input of the proof.

Uma árvore geradora toca todos os vértices sem formar laços. Duplique cada aresta de $G$: o resultado é 6-aresta-conexo, e um teorema clássico de Tutte e Nash-Williams (1961) garante três árvores geradoras disjuntas nas arestas do grafo duplicado.

Leia essas árvores de volta em $G$: agora elas podem compartilhar arestas duas a duas, mas nenhuma aresta pertence às três. Esse fato de aparência modesta é toda a matéria-prima estrutural da prova.

5Three bits on every edgeTrês bits em cada aresta

For each tree $T_i$, the edges outside $T_i$ extend to a set $F_i$ that meets every vertex an even number of times (add the fundamental cycle of each outside edge and cancel repeats). Now give every edge a 3-bit label: bit $i$ answers “is this edge in $F_i$?”.

Each edge avoids at least one tree, so its label is never $000$: seven values survive. And at every vertex, each bit sums to zero mod 2. This is a nowhere-zero flow with values in ${\mathbb{F}}_2^3$: Jaeger’s 8-flow theorem, rebuilt from trees. Paint the seven values as seven colors: at each vertex, the three incident colors XOR to zero.

Para cada árvore $T_i$, as arestas fora de $T_i$ se estendem a um conjunto $F_i$ que encontra cada vértice um número par de vezes (some o ciclo fundamental de cada aresta de fora e cancele as repetições). Agora dê a cada aresta um rótulo de 3 bits: o bit $i$ responde “esta aresta está em $F_i$?”.

Cada aresta escapa de pelo menos uma árvore, então seu rótulo nunca é $000$: sobram sete valores. E em cada vértice, cada bit soma zero módulo 2. Isso é um fluxo nunca-nulo com valores em ${\mathbb{F}}_2^3$: o teorema dos 8-fluxos de Jaeger, reconstruído a partir de árvores. Pinte os sete valores como sete cores: em cada vértice, o XOR das três cores incidentes dá zero.

6Two colors per edge finish the jobDuas cores por aresta encerram o serviço

Here is the machine that produces the cover. Suppose every edge $e$ could be handed a two-element set $P_e$ of colors, arranged so that at every vertex, each color appears on an even number of incident edges.

Then for each color $s$, the edges carrying $s$ form a subgraph where every vertex has even degree, and such a subgraph splits into disjoint cycles. Every edge holds exactly two colors, so it lies in exactly two of these cycle families. That is a cycle double cover. The rest of the proof is one long construction of the sets $P_e$.

Eis a máquina que produz a cobertura. Suponha que cada aresta $e$ pudesse receber um conjunto de dois elementos $P_e$ de cores, arranjados de modo que, em cada vértice, cada cor apareça em um número par de arestas incidentes.

Então, para cada cor $s$, as arestas que carregam $s$ formam um subgrafo em que todo vértice tem grau par, e um subgrafo desses se decompõe em ciclos disjuntos. Cada aresta guarda exatamente duas cores, logo pertence a exatamente duas dessas famílias de ciclos. Isso é uma cobertura dupla por ciclos. O resto da prova é uma longa construção dos conjuntos $P_e$.

7Lifting the flow to edge pairsErguendo o fluxo a pares de cores

The two colors of an edge come from the flow. At a cubic vertex $v$ with edges $e,f,g$: since $\varphi (e)+\varphi (f)+\varphi (g)=0$, the pair $\{\varphi (f),\varphi (g)\}$ is a coset of the line $⟨\varphi (e)⟩$: a natural 2-element set attached to $e$ at $v$.

Shift it by an unknown vector $t_v\in {\mathbb{F}}_2^3$ chosen at each vertex, and set $P_e=t_v+\varphi (f)+⟨\varphi (e)⟩$. For $P_e$ to be well defined, its two computations, one from each endpoint of $e$, must agree. That forces one compatibility equation per edge on the unknowns $t_v$. If the system has a solution, the previous lemma fires and the cover exists.

As duas cores de uma aresta vêm do fluxo. Em um vértice cúbico $v$ com arestas $e,f,g$: como $\varphi (e)+\varphi (f)+\varphi (g)=0$, o par $\{\varphi (f),\varphi (g)\}$ é uma classe lateral da reta $⟨\varphi (e)⟩$: um conjunto natural de 2 elementos preso a $e$ em $v$.

Desloque-o por um vetor incógnito $t_v\in {\mathbb{F}}_2^3$ escolhido em cada vértice e defina $P_e=t_v+\varphi (f)+⟨\varphi (e)⟩$. Para que $P_e$ esteja bem definido, seus dois cálculos, um por extremidade de $e$, precisam coincidir. Isso impõe uma equação de compatibilidade por aresta sobre as incógnitas $t_v$. Se o sistema tem solução, o lema anterior dispara e a cobertura existe.

8One line of linear algebraUma linha de álgebra linear

Do the vectors $t_v$ exist? The compatibility conditions form a linear system $A\mathbf{t}=\mathbf{b}$ over ${\mathbb{F}}_2$. A basic fact decides solvability: the column space of a matrix is the orthogonal complement of its left nullspace. So the system is solvable exactly when $\mathbf{b}$ is orthogonal to every left-kernel vector $(h_e)$.

And that check turns out to be local: at each vertex, a single bit $\lambda$ equals the number of nonzero $h_e$ around it, mod 2. Summing over all vertices counts every nonzero edge twice, so the total is zero. The system is always solvable. This is the step no human had found.

Os vetores $t_v$ existem? As condições de compatibilidade formam um sistema linear $A\mathbf{t}=\mathbf{b}$ sobre ${\mathbb{F}}_2$. Um fato básico decide a solubilidade: o espaço-coluna de uma matriz é o complemento ortogonal do seu núcleo à esquerda. Logo o sistema tem solução exatamente quando $\mathbf{b}$ é ortogonal a todo vetor $(h_e)$ do núcleo à esquerda.

E essa verificação acaba sendo local: em cada vértice, um único bit $\lambda$ é igual ao número de $h_e$ não nulos ao redor dele, módulo 2. Somando sobre todos os vértices, cada aresta não nula é contada duas vezes, então o total é zero. O sistema sempre tem solução. Este é o passo que nenhum humano havia encontrado.

9The cover exists. Watch it.A cobertura existe. Veja.

The chain closes: trees give the flow, the flow lifts to two colors per edge, the colors weave the cycles, and every bridgeless graph has a cycle double cover. The construction uses at most 8 color classes, so it even yields an 8-cycle double cover.

Here it runs on the Petersen graph, the classic troublemaker of graph theory: six cycles, each edge covered exactly twice. Still open: can 8 always be lowered to 5 (the 5-CDC conjecture)? The story is not finished.

A corrente se fecha: as árvores dão o fluxo, o fluxo se ergue a duas cores por aresta, as cores tecem os ciclos, e todo grafo sem pontes tem uma cobertura dupla por ciclos. A construção usa no máximo 8 classes de cor, então produz até uma cobertura dupla por 8 ciclos.

Aqui ela roda no grafo de Petersen, o encrenqueiro clássico da teoria dos grafos: seis ciclos, cada aresta coberta exatamente duas vezes. Ainda em aberto: 8 sempre pode ser reduzido a 5 (a conjectura da 5-CDC)? A história não acabou.

1A $500 question from 1946Uma pergunta de $500 de 1946

Place $n$ points on a sheet. Some pairs happen to sit at distance exactly 1. How many such pairs can you engineer? Erdős asked this in 1946 and came to believe the true count is barely more than $n$ (formally $n^{1+o(1)}$), offering $500 for a proof or disproof. It became, in the words of the standard reference, “possibly the best known problem in combinatorial geometry.”

In May 2026, an OpenAI model settled it, in the direction almost no one expected. There are point sets with $n^{1+\epsilon }$ unit distances for a fixed $\epsilon >0$.

Coloque $n$ pontos em uma folha. Alguns pares calham de estar a distância exatamente 1. Quantos pares assim dá para arquitetar? Erdős fez essa pergunta em 1946 e passou a acreditar que a contagem verdadeira mal ultrapassa $n$ (formalmente $n^{1+o(1)}$), oferecendo $500 por uma prova ou refutação. Virou, nas palavras da referência padrão, “possivelmente o problema mais conhecido da geometria combinatória”.

Em maio de 2026, um modelo da OpenAI o resolveu, na direção que quase ninguém esperava. Existem conjuntos de pontos com $n^{1+\epsilon }$ distâncias unitárias para um $\epsilon >0$ fixo.

278 years of bounds78 anos de limitantes

Two unit circles meet in at most 2 points, so the “unit-distance graph” contains no $K_{2,3}$, which already forces at most $O(n^{3/2})$ unit pairs (Erdős, 1946). The best upper bound, $O(n^{4/3})$, came in 1984 from Spencer, Szemerédi and Trotter, and has not moved since.

From below, Erdős’s grid gives $n^{1+c/\log \log n}$: a hair more than linear, creeping toward $n^{1+o(1)}$. For 78 years every expert expected the truth to sit at the bottom of this gap.

Dois círculos unitários se encontram em no máximo 2 pontos, então o “grafo de distâncias unitárias” não contém $K_{2,3}$, o que já força no máximo $O(n^{3/2})$ pares unitários (Erdős, 1946). O melhor limitante superior, $O(n^{4/3})$, veio em 1984 com Spencer, Szemerédi e Trotter, e não se moveu desde então.

Por baixo, a grade de Erdős dá $n^{1+c/\log \log n}$: um fio de cabelo acima do linear, rumo a $n^{1+o(1)}$. Por 78 anos todo especialista esperava que a verdade estivesse no fundo dessa lacuna.

3The grid is secretly number theoryA grade é, em segredo, teoria dos números

Erdős’s construction is a $\sqrt{n}\times \sqrt{n}$ grid, which is really the ring of Gaussian integers $\mathbb{Z}[i]$ in disguise. The squared distance between grid points is a sum of two squares, and an integer $m$ with many prime factors $\equiv 1\mathrm{mod}4$ is a sum of two squares in many ways.

Geometrically: the circle of radius $\sqrt{m}$ threads through many grid points at once. Rescale so that $\sqrt{m}$ becomes 1, and every one of those coincidences is a unit distance. That trick alone held the record from 1946 to 2026.

A construção de Erdős é uma grade $\sqrt{n}\times \sqrt{n}$, que na verdade é o anel dos inteiros de Gauss $\mathbb{Z}[i]$ disfarçado. O quadrado da distância entre pontos da grade é uma soma de dois quadrados, e um inteiro $m$ com muitos fatores primos $\equiv 1\mathrm{mod}4$ é soma de dois quadrados de muitas maneiras.

Geometricamente: o círculo de raio $\sqrt{m}$ enfia-se por muitos pontos da grade de uma vez. Reescale para que $\sqrt{m}$ vire 1, e cada uma dessas coincidências é uma distância unitária. Só esse truque manteve o recorde de 1946 a 2026.

4Grow the field, not the gridAumente o corpo, não a grade

Every human attempt enlarged the grid inside $\mathbb{Z}[i]$. The model’s chain of thought pivots elsewhere: “…the degree and height of that algebraic realization can be enormous… Maybe that enormous degree is not just an annoyance but a source of possible counterexamples. Number fields deserve a closer look.”

The plan: keep the window small but replace $\mathbb{Q}(i)$ by a CM field $K=L(i)$ of enormous degree $2f$. Its integers ${\mathcal{O}}_K$ form a lattice in ${\mathbb{C}}^f$, that is, $f$ linked copies of the plane. Project any one coordinate to ${\mathbb{R}}^2$: distances survive from a world with vastly more room than the plane it lands on.

Toda tentativa humana ampliava a grade dentro de $\mathbb{Z}[i]$. A cadeia de raciocínio do modelo vira para outro lado: “…o grau e a altura dessa realização algébrica podem ser enormes… Talvez esse grau enorme não seja só um incômodo, e sim uma fonte de possíveis contraexemplos. Corpos de números merecem um olhar mais atento.”

O plano: manter a janela pequena, mas trocar $\mathbb{Q}(i)$ por um corpo CM $K=L(i)$ de grau enorme $2f$. Seus inteiros ${\mathcal{O}}_K$ formam um reticulado em ${\mathbb{C}}^f$, ou seja, $f$ cópias encadeadas do plano. Projete qualquer uma das coordenadas em ${\mathbb{R}}^2$: as distâncias sobrevivem, vindas de um mundo com muito mais espaço do que o plano onde aterrissam.

5Manufacturing numbers of size exactly 1Fabricando números de módulo exatamente 1

A unit distance is a difference of magnitude exactly 1, so the construction needs many elements $u$ with $|u|=1$ in every embedding. Pigeonhole makes them: take products of split prime ideals $P_1^{a_1}{\overline{P}}_1^{k_1-a_1}\cdots$; there are $\prod (k_j+1)$ of them, but only $h(K)$ ideal classes.

Two products in the same class have a ratio $\alpha /\overline{\alpha }$, an algebraic number of magnitude 1 with bounded denominator. Divide the pigeons by the holes: at least $\prod (k_j+1)/h(K)$ distinct “unit vectors” $u$, all landing on the unit circle of every coordinate plane.

Uma distância unitária é uma diferença de módulo exatamente 1, então a construção precisa de muitos elementos $u$ com $|u|=1$ em todos os mergulhos. O princípio da casa dos pombos os fabrica: tome produtos de ideais primos decompostos $P_1^{a_1}{\overline{P}}_1^{k_1-a_1}\cdots$; há $\prod (k_j+1)$ deles, mas apenas $h(K)$ classes de ideais.

Dois produtos na mesma classe têm razão $\alpha /\overline{\alpha }$, um número algébrico de módulo 1 com denominador limitado. Divida os pombos pelas casas: pelo menos $\prod (k_j+1)/h(K)$ “vetores unitários” $u$ distintos, todos pousando no círculo unitário de cada plano coordenado.

6One translation, thousands of unit pairsUma translação, milhares de pares unitários

Now clip a window: $W=$ lattice $\cap$ polydisc $B_R$. For each unit vector $u$, the translate $x\mapsto x+u$ keeps almost all of $W$ inside $B_R$, so every single $u$ contributes on the order of $|W|$ unit-distance pairs, and the projection to the plane preserves them all.

The bookkeeping gives $2\nu \ge (u\pi R^2/4v{\delta }^2{)}^f$ unit pairs among at most $(9R^2/{\delta }^2{)}^f$ points. Both counts are $f$-th powers; if the first base beats the second, the exponent $f\to \infty$ turns a fixed advantage into $n^{1+\epsilon }$.

Agora recorte uma janela: $W=$ reticulado $\cap$ polidisco $B_R$. Para cada vetor unitário $u$, a translação $x\mapsto x+u$ mantém quase todo $W$ dentro de $B_R$, então cada $u$ contribui com da ordem de $|W|$ pares a distância unitária, e a projeção no plano preserva todos eles.

A contabilidade dá $2\nu \ge (u\pi R^2/4v{\delta }^2{)}^f$ pares unitários entre no máximo $(9R^2/{\delta }^2{)}^f$ pontos. As duas contagens são $f$-ésimas potências; se a primeira base vencer a segunda, o expoente $f\to \infty$ transforma uma vantagem fixa em $n^{1+\epsilon }$.

7Fields without end: Golod–ShafarevichCorpos sem fim: Golod–Shafarevich

The plan needs fields of degree $\to \infty$ whose geometry never degrades: bounded root discriminant, and one rational prime that splits completely all the way up (its split factors are the raw material for the pigeonhole). Infinite class field towers, the famous Golod–Shafarevich construction of 1964, provide exactly this.

The paper’s concrete choice: ramification allowed at $T=\{3,5,7,11,13,17\}$, splitting required at $S=\{101,\infty \}$. The base is $L_T=\mathbb{Q}(\sqrt{5},\sqrt{13},\sqrt{17},\sqrt{21},\sqrt{33})$; the group-theoretic inequality $r\le d^2/4$ fails, so the tower never terminates, and $101$ splits into more and more primes at every floor.

O plano precisa de corpos de grau $\to \infty$ cuja geometria nunca se degrade: discriminante radicular limitado e um primo racional que se decomponha completamente até o topo (seus fatores decompostos são a matéria-prima da casa dos pombos). As torres infinitas de corpos de classes, a famosa construção de Golod–Shafarevich de 1964, fornecem exatamente isso.

A escolha concreta do artigo: ramificação permitida em $T=\{3,5,7,11,13,17\}$, decomposição exigida em $S=\{101,\infty \}$. A base é $L_T=\mathbb{Q}(\sqrt{5},\sqrt{13},\sqrt{17},\sqrt{21},\sqrt{33})$; a desigualdade grupo-teórica $r\le d^2/4$ falha, então a torre nunca termina, e $101$ se decompõe em mais e mais primos a cada andar.

8The smallest victory ever recordedA vitória mais apertada já registrada

Assemble the three lemmas with the explicit constants and the exponent comes out as $1+\epsilon$ with $$\epsilon \approx 6.24\times 10^{-38}.$$ Thirty-seven zeros after the decimal point, and it does not matter. The conjecture asked whether the exponent stays at $1+o(1)$ forever. It does not.

A 78-year-old belief, held by nearly everyone who ever touched the problem, closed by a margin invisible to any experiment — but not to a proof.

Junte os três lemas com as constantes explícitas e o expoente sai como $1+\epsilon$ com $$\epsilon \approx 6.24\times 10^{-38}.$$ Trinta e sete zeros depois da vírgula, e não faz a menor diferença. A conjectura perguntava se o expoente ficaria em $1+o(1)$ para sempre. Não fica.

Uma crença de 78 anos, sustentada por quase todo mundo que já tocou no problema, encerrada por uma margem invisível a qualquer experimento — mas não a uma prova.

9What the mathematicians saidO que disseram os matemáticos

Nine mathematicians, two of them Fields medalists, verified, digested and annotated the argument. Their assessments, from the paper itself, are worth reading in full; a few lines set the scene.

• If a human had written the paper and submitted it to the Annals of Mathematics and I had been asked for a quick opinion, I would have recommended acceptance without any hesitation.W. T. Gowers

• The fact is that the AI was able to do here what lots of excellent human researchers tried and failed to do.Noga Alon

• We can unambiguously say that the AI has solved a $500 Erdős problem.Thomas Bloom

• In many cases, it will be easier for AI to convince humans it has a proof than to come up with a correct mathematical argument, and I believe that we as mathematicians are not sufficiently prepared for this.Melanie Matchett Wood

Nove matemáticos, dois deles medalhistas Fields, verificaram, digeriram e anotaram o argumento. As avaliações deles, tiradas do próprio artigo, merecem leitura integral; algumas linhas dão o tom.

• Se um humano tivesse escrito o artigo e o submetido aos Annals of Mathematics, e me pedissem uma opinião rápida, eu teria recomendado a aceitação sem a menor hesitação.W. T. Gowers

• O fato é que a IA conseguiu fazer aqui o que muitos excelentes pesquisadores humanos tentaram e não conseguiram.Noga Alon

• Podemos dizer sem ambiguidade que a IA resolveu um problema de Erdős de $500.Thomas Bloom

• Em muitos casos, será mais fácil para uma IA convencer humanos de que tem uma prova do que produzir um argumento matemático correto, e acredito que nós, matemáticos, não estamos suficientemente preparados para isso.Melanie Matchett Wood