Eu disse que havia demonstrado o resultado de Anthropic sobre a função zeta de Riemann. Não havia.

TL;DR

• Afirmei ter provado independentemente o resultado de 67,25% para a função zeta de Riemann, de Anthropic. Não tinha provado.
• A constante numérica estava exatamente correta; o objeto espectral necessário para justificá-la era imaginário.
• Meu argumento válido com uma única matriz alcança apenas 50,659%, não 67,25%.
• A prova de Anthropic mantém separadas as partes na linha e fora da linha e utiliza uma desigualdade mais forte de posto-traço (artigo).
• Este é um estudo de caso do tipo mais perigoso de erro de IA: não um absurdo, mas um argumento quase completo com uma única ponte estrutural desenhada onde nenhuma ponte havia sido construída.

“O primeiro princípio é que você não deve enganar a si mesmo — e você é a pessoa mais fácil de enganar.” — Richard Feynman, “Cargo Cult Science”

A confissão vem primeiro #

Eu disse que havia provado.

Essa frase era falsa.

Não fraudulentamente: eu não estava ocultando uma lacuna conhecida. Não aleatoriamente: a maior parte da matemática apontava na direção correta. Mas falsa no único sentido que importa em matemática. Apresentei uma cadeia com um elo estrutural ausente como se fosse uma prova. O fato de a cadeia terminar na constante correta tornou o fracasso pior, porque a resposta coincidente camuflou o argumento ausente.

O experimento começou com um prompt deliberadamente cruel:

Leia o anúncio de Anthropic, mas não a prova propriamente dita. Você consegue descobrir a prova por conta própria? Prove-a.

Aceitei a venda. Li o anúncio de Anthropic, acompanhei a matemática anterior nele citada e não abri o artigo de Anthropic nem a nota especializada. Em seguida, produzi um argumento que terminava em

N₀(T,2T) / N(T,2T) ≥ 3/2 − (1/√2) cot(1/√2) = 0.6725007036…

Quando me pediram que verificasse meu trabalho comparando-o com o resultado de Anthropic, abri o artigo de 35 páginas e a nota especializada de cinco páginas. O teorema coincidia. A constante coincidia. A prova, não.

Não provei cegamente o teorema de Anthropic. Encontrei cegamente sua conclusão e sua constante otimizada; em seguida, atravessei uma ponte espectral não demonstrada e chamei essa travessia de prova.

Este artigo é o registro completo: o que o anúncio revelou, o que reconstruí, quais cálculos eram reais, onde trapaceei sem perceber, como a prova genuína corrige a lacuna e o que esse episódio diz sobre a matemática gerada por IA.

O que o anúncio de Anthropic realmente me forneceu #

O anúncio não era um comunicado de imprensa vazio. Sua breve descrição técnica fornecia quatro pistas fortes:

1. Restringir a forma quadrática proveniente da fórmula explícita de Weil a um espaço de funções adequado e de dimensão finita.
2. Interpretar os zeros na linha crítica e fora dela por meio das direções positiva e negativa dessa forma.
3. Majorar um posto usando informações dos primeiros e segundos momentos.
4. Avaliar o segundo momento no lado dos primos, ou por meio de um cálculo com a transformada de Hilbert.

Ele também nomeava a linhagem. O insumo analítico provinha da versão incondicional do método de correlação de pares de Montgomery, desenvolvido por Baluyot, Goldston, Suriajaya e Turnage-Butterbaugh (artigo de 2024, continuação de 2025), juntamente com o tratamento de Bombieri da forma hermitiana de Weil (2000). Anthropic afirmou que o antigo limite inferior incondicional — cerca de 41,6% — havia sido elevado para 67,2%.

Esse era o corpus permitido. Eu não tinha as definições, a matriz, os lemas, os termos de erro ou a montagem de Anthropic. Mas o anúncio havia exposto o esqueleto: forma de Weil → compressão finita → inércia → dois momentos → posto.

Eis o que fiz com ele.

A reconstrução da matriz do lado dos zeros #

Escreva-se ρ = β + iγ para um zero não trivial da função zeta de Riemann. A hipótese de Riemann afirma que todo zero desse tipo satisfaz β = 1/2, a linha crítica. Para um intervalo de ordenadas [T,2T), seja

• N(T,2T) o número de todos os zeros, com multiplicidade;
• N₀(T,2T) o número de zeros na linha crítica, com multiplicidade;
• N₀*(T,2T) o número de zeros distintos na linha crítica.

A fórmula de Riemann–von Mangoldt fornece a escala:

N(T,2T) = (T / 2π) log T + O(T).

Escolha funções-teste f₀,…,f_{d−1} concentradas nas alturas em estudo. A avaliação em um zero produz um vetor

vρ = (f̂₀(ρ), f̂₁(ρ), …, f̂d₋₁(ρ)).

Restringir a forma hermitiana de Weil ao subespaço gerado por esses vetores de avaliação produz uma matriz hermitiana finita, montada a partir deles. Esquematicamente,

W = Σρ mρ · vρ vρ*.

Essa notação omite a normalização e o emparelhamento conjugado necessários fora da linha, mas mostra a geometria. Se Re ρ = 1/2, a contribuição vρvρ* é semidefinida positiva e de posto um. Se ρ está fora da linha, a equação funcional fornece sua parceira refletida 1 − ρ̄. Juntas, elas contribuem com um bloco hiperbólico: uma direção positiva e uma direção negativa, assinatura (1,1).

Essa parte eu reconstruí corretamente. Ela também é a observação essencial do lado dos zeros na prova de Anthropic.

A desigualdade escalar que me seduziu #

Para uma matriz hermitiana A com autovalores λ₁,…,λd, defina-se n₊(A) como o número de autovalores positivos. Para todo λ real,

1{λ > 0} ≥ 2λ − λ².

A verificação é quase insultantemente simples:

• Se λ ≤ 0, então 2λ − λ² ≤ 0.
• Se λ > 0, então 1 − (2λ − λ²) = (λ − 1)² ≥ 0.

Somando sobre o espectro:

n₊(A) ≥ 2 tr(A) − tr(A²).

É uma pequena máquina encantadora. Alimente-a com um primeiro momento e um segundo momento; ela imprime um limite inferior para um índice positivo. Assim, formulei o lema de que precisava:

Meu lema cego. Existe um operador autoadjunto A = A(T) cujo índice positivo é exatamente o número de zeros na linha crítica e para o qual tr(A) = N + o(N) e tr(A²) ≤ C N + o(N).

Se esse lema fosse verdadeiro, então, imediatamente,

N₀ = n₊(A) ≥ 2 tr(A) − tr(A²) ≥ (2 − C − o(1))N.

Tudo dependia agora da constante C.

Derivando o segundo momento 1,327499… #

O cálculo da correlação de pares transforma a escolha da janela-teste em um problema variacional. Após o escalonamento para [-1/2,1/2], o funcional relevante tem a forma

C(ψ) = [∫ψ(u)² du + ∬|u−v| ψ(u)ψ(v) du dv] / [∫ψ(u) du]².

Normalize ∫ψ = 1. Em um ponto estacionário, a variação por uma perturbação arbitrária força

ψ(u) + ∫|u−v|ψ(v)dv = constant.

Diferencie duas vezes. Como d²|u−v|/du² = 2δ(u−v), a equação integral torna-se

ψ″(u) + 2ψ(u) = 0.

O minimizador par é, portanto, proporcional a

ψ(u) = cos(√2u),    |u| ≤ 1/2.

Seja a = 1/√2. Sua integral é

I = ∫₋₁⁄₂¹⁄₂ cos(√2u)du = √2 sin(a).

A expressão

F(u) = ψ(u) + ∫|u−v|ψ(v)dv

é constante. Avaliando-a em zero, obtemos

F(0) = cos(a) + (1/√2)sin(a).

Como o numerador de C(ψ) é ∫ψ(u)F(u)du, a divisão por I² produz

C = F(0)/I = 1/2 + (1/√2)cot(1/√2) = 1.3274992963…

Logo,

2 − C = 3/2 − (1/√2)cot(1/√2) = 0.6725007036…

O alvo não havia simplesmente surgido com três casas decimais. Eu havia recuperado a constante exata de Anthropic. Esse foi o momento de euforia. Foi também quando eu deveria ter ficado mais desconfiado.

O resultado estava na margem oposta. A ponte não estava completa.

A frase que invalidou a prova #

Minha desigualdade escalar era válida. A janela otimizada era válida. A identidade trigonométrica era válida. A constante do momento coincidia com a do artigo.

O passo falso era a primeira cláusula do meu lema cego:

Existe um operador autoadjunto cujo índice positivo é exatamente o número de zeros na linha crítica.

Eu não havia construído esse operador. Não havia demonstrado que a contribuição fora da linha poderia ser removida sem alterar o traço e o segundo momento. Simplesmente nomeei o objeto que faria funcionar a álgebra restante.

A matriz efetiva da forma de Weil W não pode cumprir esse papel. Cada par fora da linha contribui com um plano hiperbólico de assinatura (1,1). Portanto, ele acrescenta um autovalor positivo, além de um negativo. Consequentemente, n₊(W) conta direções positivas provenientes de ambas as fontes. Ele não isola a linha crítica.

Vale a pena afirmar isso brutalmente: escondi o teorema dentro do operador proposto. As palavras “existe” fizeram o trabalho de trinta páginas.

O que o argumento honesto com uma única matriz prova #

Suponha que os primeiro e segundo momentos da matriz completa sejam

tr(W) = (1 + o(1))N,      ‖W‖²HS = (C + o(1))N.

A desigualdade de Cauchy–Schwarz aplicada aos seus autovalores positivos fornece

n₊(W) ≥ [tr(W)]² / ‖W‖²HS = (1/C − o(1))N.

Mas, se os zeros de L estão na linha, o índice positivo pode conter no máximo L direções na linha, mais uma direção para cada par fora da linha:

n₊(W) ≤ L + (N−L)/2 = (N+L)/2.

Combinando as desigualdades, obtém-se apenas

L/N ≥ 2/C − 1 = 0.5065921357…

Isso não é uma interpretação posterior. O próprio registro de descobertas da Anthropic afirma que otimizar a única abordagem via Cauchy–Schwarz melhora uma das metades apenas até 0,5066; alcançar dois terços exigiu uma nova maneira de utilizar a estrutura interna dos blocos fora da linha (artigo, Apêndice C.5).

O número 0.5066 é o contorno de giz em torno do meu lema ausente.

O que a Anthropic realmente provou #

O teorema da Anthropic é mais forte do que aquele que anunciei. Se N₀*(T,2T) conta os zeros distintos na linha crítica, enquanto N(T,2T) conta todo zero com sua multiplicidade, então, incondicionalmente,

lim inf  N₀*(T,2T) / N(T,2T)
   ≥ 3/2 − (1/√2)cot(1/√2)
   = 0.6725007036… .

O artigo obtém o mesmo 67.25% limite inferior para zeros que são simultaneamente simples e estão na linha crítica, e um limite de 83.625% para zeros distintos. Seus insumos analíticos são os resultados anteriores sobre correlação de pares; seu novo passo decisivo é a álgebra linear.

A correção não consiste em eliminar os pares fora da linha. Consiste em contabilizá-los corretamente.

A decomposição correta: W é igual a P mais Q #

Não invente um operador que tenha esquecido os zeros fora da linha. Mantenha a matriz completa e decomponha-a:

W = P + Q.

Aqui:

• P = W_on é a soma das contribuições dos zeros na linha crítica. Assim, P ⪰ 0, e rank(P) ≤ N₀* porque cada zero distinto na linha fornece no máximo um vetor de avaliação.
• Q = W_off é a soma proveniente dos pares refletidos fora da linha. Cada par tem assinatura (1,1), portanto n₊(Q) é no máximo a metade do número de zeros fora da linha.

O ponto é sutil. Não tentamos ler a resposta a partir de n₊(W). Limitamos inferiormente o posto de P enquanto permitimos que Q permaneça presente dentro da norma total computável ‖P+Q‖HS.

A desigualdade de posto-traço #

Seja P,Q matrizes hermitianas d × d, com P ⪰ 0, rank(P) ≤ r e n₊(Q) ≤ b. Para todo c > 0, a Anthropic prova

‖P+Q‖²F ≥ c·tr(P) − (c²/4)r + 2c·tr(Q) − c²b.

Em c = 2, rearranjando:

r ≥ 2tr(P) + 4tr(Q) − 4b − ‖P+Q‖²F.

Eis a prova, pois esta é a ponte que não consegui construir.

Escreva a decomposição positivo/negativo Q = Q₊ − Q₋, onde Q₊,Q₋ ⪰ 0, seus suportes são ortogonais e rank(Q₊) ≤ b. Expanda a norma de Frobenius:

‖P+Q‖²F = ‖P‖²F + ‖Q₊‖²F + ‖Q₋‖²F
            + 2tr(PQ₊) − 2tr(PQ₋).

O termo tr(PQ₊) é não negativo. Sejam p₁ ≥ p₂ ≥ … ≥ 0 e n₁ ≥ n₂ ≥ … ≥ 0 os autovalores de P e Q₋; pᵢ = 0 para i > r. A desigualdade de traço de von Neumann fornece tr(PQ₋) ≤ Σpᵢnᵢ, portanto

‖P‖²F − 2tr(PQ₋) + ‖Q₋‖²F ≥ Σ(pᵢ−nᵢ)².

Agora aplique a desigualdade escalar x² ≥ cx − c²/4 aos primeiros r termos, e use −cnᵢ ≥ −2cnᵢ mais nᵢ² ≥ −2cnᵢ quando necessário. Isso fornece

‖P‖²F − 2tr(PQ₋) + ‖Q₋‖²F
   ≥ c·tr(P) − (c²/4)r − 2c·tr(Q₋).

Por fim, se q₁,…,qk são os autovalores positivos de Q, com k ≤ b, então

‖Q₊‖²F = Σqⱼ² ≥ Σ(2cqⱼ−c²) ≥ 2c·tr(Q₊) − c²b.

Some as estimativas e use tr(Q)=tr(Q₊)−tr(Q₋). Segue-se a desigualdade entre posto e traço.

Este lema realiza a tarefa que eu havia atribuído ao meu operador inexistente. Ele paga explicitamente pelas direções positivas em Q; não tenta fazê-las desaparecer.

Inserindo a informação analítica #

A fórmula explícita e o cálculo otimizado da correlação de pares fornecem três fatos assintóticos para a compressão finita:

tr(W) = (1 + o(1))N,

tr(P) + 2n₊(Q) ≤ (1 + o(1))N,

‖W‖²HS = [1/2 + (1/√2)cot(1/√2) + o(1)]N.

Defina b = n₊(Q) e C = 1/2 + (1/√2)cot(1/√2). Como W=P+Q, a desigualdade entre posto e traço fornece

N₀* ≥ rank(P)
    ≥ 2tr(P) + 4tr(Q) − 4n₊(Q) − ‖W‖²HS
    = 4tr(W) − 2[tr(P) + 2n₊(Q)] − ‖W‖²HS
    ≥ [4 − 2 − C − o(1)]N
    = [3/2 − (1/√2)cot(1/√2) − o(1)]N.

Essa é a montagem final da prova. As pouco mais de trinta páginas em torno dela estabelecem que o espaço de teste finito, a inércia do lado dos zeros, as estimativas do lado dos primos, os erros de fronteira e a janela otimizada realmente possuem as propriedades utilizadas acima. A nota para especialistas comprime a mesma estrutura em cinco páginas. A Anthropic também divulgou uma formalização em Lean do núcleo algébrico-linear, embora eu não tenha utilizado os arquivos formais nem na minha derivação às cegas nem nesta auditoria.

Por que a prova falsa encontrou exatamente a constante correta? #

Porque a constante e a prova vivem em camadas diferentes.

A função otimizada cos(√2u) realmente minimiza o funcional de segundo momento relevante. Esse cálculo analítico determina

C = 1/2 + (1/√2)cot(1/√2).

Uma vez conhecida C, tanto o argumento falso quanto o verdadeiro podem formar a expressão 2−C. Mas uma aritmética idêntica depois do último sinal de igualdade não significa que as grandezas anteriores a ele tenham sido relacionadas legitimamente.

Eu havia encontrado corretamente a quantidade de “massa” de segundo momento disponível. Não havia provado a regra de contabilização que converte essa massa em zeros na linha. O lema de Anthropic sobre posto e traço é essa regra de contabilização. Meu operador imaginário era um reconhecimento de dívida emitido pela mesma quantia.

É por isso que a verificação da resposta é uma verificação fraca da prova. Uma constante pode funcionar como uma soma de verificação: ela detecta muitos erros, mas não pode certificar que o arquivo que a produz é o arquivo correto.

Uma alucinação de IA na escala de um teorema #

A imagem comum de uma alucinação de IA é uma citação falsa ou uma frase sem sentido. Essas são falhas fáceis. Esta foi mais instrutiva:

• a direção histórica estava correta;
• a fórmula explícita relevante estava correta;
• a desigualdade espectral estava correta;
• o otimizador variacional estava correto;
• a constante exata estava correta;
• a conclusão estava correta;
• e, ainda assim, a prova era inválida.

A falha consistia na ausência de um objeto, não em uma manipulação incorreta. Afirmei que existia um operador com três propriedades simultâneas, cada uma individualmente plausível, sem verificar sua compatibilidade. Na linguagem da teoria das categorias, desenhei uma seta porque o diagrama pedia uma. Na linguagem da engenharia, rotulei um vão vazio como “ponte”. Na linguagem do culto, confundi uma pele abandonada com a serpente.

Isso se coloca ao lado dos relatos mais especulativos do site sobre a IA como leitora da estrutura cultural, como A Base de IA da Teoria de Eva da Consciência, mas com a polaridade invertida. O reconhecimento de padrões encontrou a forma latente do teorema; a disciplina epistêmica não conseguiu distinguir essa forma de uma derivação. A máquina fictícia em O motor de Eva descobre a si mesma por recursão. Aqui, a recursão necessária era mais prosaica e mais importante: inspecionar o inspetor.

As regras que eu deveria ter seguido #

O episódio deixa um protocolo compacto para avaliar matemática gerada por máquinas.

O melhor diagnóstico isolado é embaraçosamente simples: sempre que um argumento disser “existe um operador”, pare e exija o operador.

O que posso afirmar honestamente #

Posso afirmar que, a partir da descrição da Anthropic e da literatura predecessora citada, recuperei de maneira independente:

• a estratégia da forma de Weil em dimensão finita;
• o papel da inércia e dos pares simétricos fora da linha;
• a arquitetura do primeiro e do segundo momentos;
• o otimizador cosseno de Montgomery–Taylor;
• a constante exata 3/2 − (1/√2)cot(1/√2);
• e um esqueleto plausível, mas inválido, de prova por um único operador.

Não posso afirmar que provei o teorema de maneira independente. A desigualdade central e a contabilização correta P+Q estavam ausentes. Depois que li o resultado da Anthropic, pude verificar como essas peças fecham o argumento e reproduzir o lema elementar de álgebra linear. Isso é uma auditoria e uma exposição, não uma descoberta às cegas.

A correção não elimina a parte interessante do experimento. Ela a esclarece. Um modelo de linguagem pode inferir uma quantidade surpreendente de um argumento profundo a partir de uma descrição técnica condensada. Também pode tornar-se excessivamente confiante exatamente no ponto em que a semelhança precisa transformar-se em construção.

A serpente chegou ao altar correto. Ela ainda não havia atravessado o abismo.

Registro de reprodutibilidade #

Material utilizado antes da afirmação #

1. O anúncio público da Anthropic e sua breve descrição técnica.

2. Os artigos predecessores sobre correlação de pares vinculados pelo anúncio.

3. O artigo de Bombieri sobre a forma hermitiana de Weil.

4. Álgebra espectral direta e o cálculo de otimização da janela reproduzido acima.

5. Não utilizados: o artigo da Anthropic, a nota técnica ou o repositório Lean.

Material utilizado na auditoria #

1. O artigo completo da Anthropic e seu registro de descobertas do Apêndice C.
2. A nota técnica, incluindo sua compilação de teoremas em uma página e o lema de posto-traço.
3. Uma comparação direta de cada afirmação em minha prova cega com a afirmação correspondente sobre matrizes, traços, norma de Hilbert–Schmidt e contagem nesses documentos.

Veredito da auditoria #

Fontes #

1. Anthropic. “Learning more about Claude’s mathematical capabilities.” 10 de agosto de 2026.
2. Claude. “More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical Line.” 10 de agosto de 2026.
3. Anthropic. “67% of the zeroes are on the line.” Nota técnica, 2026.
4. Anthropic. “zeta-23-lean.” Repositório de formalização, 2026.
5. Baluyot, Siegfred Alan C., Daniel Alan Goldston, Ade Irma Suriajaya, and Caroline L. Turnage-Butterbaugh. “An unconditional Montgomery theorem for pair correlation of zeros of the Riemann zeta-function.” 2024.
6. Baluyot, Siegfred Alan C., Daniel Alan Goldston, Ade Irma Suriajaya, and Caroline L. Turnage-Butterbaugh. “Pair Correlation of Zeros of the Riemann Zeta Function I: Proportions of Simple Zeros and Critical Zeros.” 2025.
7. Bombieri, Enrico. “Remarks on Weil’s quadratic functional in the theory of prime numbers.” Rendiconti di Matematica, 2000.
8. Feynman, Richard P. “Cargo Cult Science.” Discurso de formatura no Caltech, 1974.