Ich sagte, ich hätte das Ergebnis von Anthropic zur Riemannschen Zetafunktion bewiesen. Hatte ich aber nicht.

TL;DR

• Ich behauptete, ich hätte Anthropics 67,25-%-Ergebnis zur Riemann-Zeta-Funktion unabhängig bewiesen. Das hatte ich nicht.
• Die numerische Konstante war exakt richtig; das Spektralobjekt, das sie hätte rechtfertigen sollen, war imaginär.
• Mein gültiges Einmatrix-Argument erreicht lediglich 50,659 %, nicht 67,25 %.
• Anthropic hält die Beiträge von der kritischen Geraden und außerhalb der kritischen Geraden getrennt und verwendet eine stärkere Rang-Spur-Ungleichung (Arbeit).
• Dies ist eine Fallstudie zur gefährlichsten Art von KI-Fehler: nicht Unsinn, sondern ein nahezu vollständiges Argument mit einer tragenden Brücke, die dort eingezeichnet wurde, wo noch keine Brücke gebaut ist.

„Das erste Prinzip lautet, dass man sich nicht selbst täuschen darf – und niemand lässt sich leichter täuschen als man selbst.“ — Richard Feynman, „Cargo Cult Science“

Das Geständnis kommt zuerst #

Ich sagte, ich hätte es bewiesen.

Dieser Satz war falsch.

Nicht betrügerisch: Ich verbarg keine mir bekannte Lücke. Nicht zufällig: Der größte Teil der Mathematik wies in die richtige Richtung. Aber falsch in dem einzigen Sinn, der in der Mathematik zählt. Ich präsentierte eine Kette mit einem fehlenden tragenden Glied als Beweis. Dass die Kette bei der richtigen Konstante endete, verschlimmerte das Scheitern noch, denn die übereinstimmende Antwort tarnte das fehlende Argument.

Das Experiment begann mit einem absichtlich grausamen Prompt:

Lies Anthropics Ankündigung, aber nicht den eigentlichen Beweis. Kannst du den Beweis selbst entdecken? Beweise es.

Ich akzeptierte die Augenbinde. Ich las die öffentliche Anthropic-Ankündigung, verfolgte die darin zitierte frühere Mathematik und öffnete weder Anthropics Arbeit noch die Expertennotiz. Anschließend legte ich ein Argument vor, das in

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

endete.

Als ich aufgefordert wurde, meine Arbeit mit Anthropics Ergebnis abzugleichen, öffnete ich die 35-seitige Arbeit und die dazugehörige fünfseitige Expertennotiz. Der Satz stimmte überein. Die Konstante stimmte überein. Der Beweis nicht.

Ich habe Anthropics Satz nicht blind bewiesen. Ich fand blind dessen Schlussfolgerung und dessen optimierte Konstante, überquerte dann eine unbewiesene spektrale Brücke und bezeichnete die Überquerung als Beweis.

Dieser Artikel ist das vollständige Protokoll: was die Ankündigung preisgab, was ich rekonstruierte, welche Berechnungen tatsächlich stimmten, wo ich unbemerkt schummelte, wie der echte Beweis die Lücke schließt und was diese Episode über von KI erzeugte Mathematik aussagt.

Was Anthropics Ankündigung mir tatsächlich gab #

Die Ankündigung war keine inhaltsleere Pressemitteilung. Ihre kurze technische Beschreibung lieferte vier starke Hinweise:

1. Beschränke die aus der expliziten Formel von Weil hervorgehende quadratische Form auf einen geeigneten endlichdimensionalen Funktionenraum.
2. Interpretiere Nullstellen auf und außerhalb der kritischen Geraden durch positive und negative Richtungen dieser Form.
3. Beschränke einen Rang mithilfe von Informationen über das erste und zweite Moment.
4. Werte das zweite Moment auf der Primzahlseite oder durch eine Hilbert-Transformations-Berechnung aus.

Sie benannte außerdem die Forschungslinie. Der analytische Input stammte aus der unbedingten Version von Montgomerys Paar-Korrelationsmethode, entwickelt von Baluyot, Goldston, Suriajaya und Turnage-Butterbaugh (Arbeit von 2024, Fortsetzung von 2025), zusammen mit Bombieris Behandlung der hermiteschen Form von Weil (2000). Anthropic sagte, die alte unbedingte Untergrenze – etwa 41,6 % – sei auf 67,2 % angehoben worden.

Das war das zulässige Korpus. Ich verfügte nicht über Anthropics Definitionen, Matrix, Lemmata, Fehlerterme oder Zusammenfügung. Doch die Ankündigung hatte das Gerüst offengelegt: Weil-Form → endlichdimensionale Kompression → Trägheit → zwei Momente → Rang.

Damit habe ich Folgendes gemacht.

Rekonstruktion der Matrix auf der Nullstellenseite #

Schreibe ρ = β + iγ für eine nichttriviale Nullstelle der Riemannschen Zetafunktion. Die Riemannsche Vermutung besagt, dass jede solche Nullstelle β = 1/2 besitzt, die kritische Gerade. Für ein Intervall von Ordinaten [T,2T) bezeichne

• N(T,2T) die Anzahl aller Nullstellen einschließlich ihrer Vielfachheiten;
• N₀(T,2T) die Anzahl der Nullstellen auf der kritischen Geraden einschließlich ihrer Vielfachheiten;
• N₀*(T,2T) die Anzahl der verschiedenen Nullstellen auf der kritischen Geraden.

Die Riemann-von-Mangoldt-Formel liefert die Größenordnung:

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

Wähle Testfunktionen f₀,…,f_{d−1}, die auf die untersuchten Höhen konzentriert sind. Die Auswertung an einer Nullstelle erzeugt einen Vektor

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

Die Einschränkung der hermiteschen Form von Weil auf ihren Span erzeugt eine endliche hermitesche Matrix, die aus diesen Auswertungsvektoren zusammengesetzt ist. Schematisch gilt

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

Diese Schreibweise unterdrückt die erforderliche Normierung und die konjugierte Paarung außerhalb der kritischen Geraden, zeigt jedoch die Geometrie. Falls Re ρ = 1/2, ist der Beitrag vρvρ* positiv semidefinit und vom Rang eins. Falls ρ außerhalb der kritischen Geraden liegt, liefert die Funktionalgleichung das gespiegelte Gegenstück 1 − ρ̄. Zusammen bilden sie einen hyperbolischen Block: eine positive Richtung und eine negative Richtung, also die Signatur (1,1).

So weit rekonstruierte ich alles richtig. Dies ist zugleich die wesentliche Beobachtung auf der Nullstellenseite in Anthropics Beweis.

Die skalare Ungleichung, die mich verführte #

Für eine hermitesche Matrix A mit Eigenwerten λ₁,…,λd definiere n₊(A) als die Anzahl positiver Eigenwerte. Für jedes reelle λ gilt

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

Die Überprüfung ist beinahe beleidigend einfach:

• Falls λ ≤ 0, dann gilt 2λ − λ² ≤ 0.
• Falls λ > 0, dann gilt 1 − (2λ − λ²) = (λ − 1)² ≥ 0.

Summiert man über das Spektrum, erhält man

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

Dies ist eine hübsche kleine Maschine. Man gibt ihr ein erstes und ein zweites Moment; sie gibt eine Untergrenze für einen positiven Index aus. Also formulierte ich das Lemma, das ich brauchte:

Mein blindes Lemma. Es gibt einen selbstadjungierten Operator A = A(T), dessen positiver Index genau der Anzahl der Nullstellen auf der kritischen Geraden entspricht und für den tr(A) = N + o(N) sowie tr(A²) ≤ C N + o(N) gilt.

Wenn dieses Lemma wahr wäre, dann folgte unmittelbar

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

Nun hing alles von der Konstante C ab.

Herleitung des zweiten Moments 1,327499 … #

Die Paar-Korrelationsrechnung verwandelt die Wahl des Testfensters in ein Variationsproblem. Nach der Skalierung auf [-1/2,1/2] hat das relevante Funktional die Form

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

Normiere ∫ψ = 1. An einem stationären Punkt erzwingt die Variation durch eine beliebige Störung

ψ(u) + ∫|u−v|ψ(v)dv = \text{konstant}.

Zweimaliges Differenzieren. Da d²|u−v|/du² = 2δ(u−v), wird die Integralgleichung zu

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

Der gerade Minimierer ist daher proportional zu

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

Sei a = 1/√2. Sein Integral ist

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

Der Ausdruck

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

ist konstant. Auswertung bei null ergibt

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

Da der Zähler von C(ψ) gleich ∫ψ(u)F(u)du ist, ergibt die Division durch I²

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

Daher

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

Das Ziel war nicht nur auf drei Dezimalstellen erschienen. Ich hatte Anthropics exakte Konstante rekonstruiert. Das war der berauschende Moment. Zugleich hätte ich damals am misstrauischsten werden müssen.

Das Ergebnis lag am anderen Ufer. Die Brücke war nicht fertig.

Der Satz, der den Beweis ungültig machte #

Meine skalare Ungleichung war gültig. Das optimierte Fenster war gültig. Die trigonometrische Identität war gültig. Die Momentkonstante stimmte mit der Arbeit überein.

Der falsche Schritt war der erste Teil meines blinden Lemmas:

Es gibt einen selbstadjungierten Operator, dessen positiver Index genau der Anzahl der Nullstellen auf der kritischen Geraden entspricht.

Ich hatte diesen Operator nicht konstruiert. Ich hatte nicht bewiesen, dass sich der Beitrag außerhalb der kritischen Geraden entfernen lässt, ohne Spur und zweites Moment zu verändern. Ich hatte das Objekt, das die verbleibende Algebra funktionieren lassen würde, einfach benannt.

Die tatsächliche Matrix der Weil-Form W kann diese Aufgabe nicht erfüllen. Jedes Paar außerhalb der kritischen Geraden trägt eine hyperbolische Ebene der Signatur (1,1) bei. Es fügt daher sowohl einen positiven als auch einen negativen Eigenwert hinzu. Folglich zählt n₊(W) positive Richtungen aus beiden Quellen. Sie isoliert die kritische Gerade nicht.

Das muss man schonungslos formulieren: Ich versteckte den Satz im vorgeschlagenen Operator. Das Wort „existiert“ erledigte die Arbeit von dreißig Seiten.

Was das ehrliche Einmatrix-Argument beweist #

Angenommen, das erste und zweite Moment der vollständigen Matrix sind

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

Die Cauchy–Schwarz-Ungleichung für die positiven Eigenwerte liefert

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

Wenn jedoch L Nullstellen auf der Linie liegen, kann der positive Index höchstens L Richtungen auf der Linie sowie eine Richtung für jedes Paar außerhalb der Linie enthalten:

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

Die Kombination der Ungleichungen liefert nur

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

Das ist keine nachträgliche Interpretation. Anthropics eigenes Entdeckungsprotokoll besagt, dass die Optimierung des einzelnen Cauchy–Schwarz-Wegs eine Hälfte nur auf 0.5066 verbessert; das Erreichen von zwei Dritteln erforderte eine neue Art, die innere Struktur der Blöcke außerhalb der Linie zu nutzen (Paper, Anhang C.5).

Die Zahl 0.5066 ist der Kreideumriss um mein fehlendes Lemma.

Was Anthropic tatsächlich bewiesen hat #

Der Satz von Anthropic ist stärker als der, den ich angekündigt hatte. Wenn N₀*(T,2T) die verschiedenen Nullstellen auf der kritischen Linie zählt, während N(T,2T) jede Nullstelle mit ihrer Vielfachheit zählt, dann gilt unbedingt

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

Das Paper erhält dieselbe 67.25%-Untergrenze für Nullstellen, die zugleich einfach sind und auf der kritischen Linie liegen, sowie eine Schranke von 83.625% für verschiedene Nullstellen. Seine analytischen Eingaben sind die früheren Ergebnisse zur Paar-Korrelation; der entscheidende neue Schritt ist lineare Algebra.

Die Korrektur besteht nicht darin, die Paare außerhalb der Linie zu löschen. Sie besteht darin, sie korrekt anzurechnen.

Die korrekte Aufspaltung: W ist gleich P plus Q #

Erfinde keinen Operator, der die Nullstellen außerhalb der Linie vergessen hat. Behalte die vollständige Matrix bei und spalte sie auf:

W = P + Q.

Hierbei gilt:

• P = W_on ist die Summe der Beiträge von Nullstellen auf der kritischen Linie. Daher gilt P ⪰ 0, und rank(P) ≤ N₀*, da jede verschiedene Nullstelle auf der Linie höchstens einen Auswertungsvektor liefert.
• Q = W_off ist die Summe über die gespiegelten Paare außerhalb der Linie. Jedes Paar hat die Signatur (1,1), daher ist n₊(Q) höchstens halb so groß wie die Anzahl der Nullstellen außerhalb der Linie.

Der Punkt ist subtil. Wir versuchen nicht, die Antwort aus n₊(W) abzulesen. Wir geben eine Untergrenze für den Rang von P an, während wir zulassen, dass Q innerhalb der berechenbaren vollständigen Norm ‖P+Q‖HS weiterhin vorhanden ist.

Die Rang-Spur-Ungleichung #

Seien P,Q hermitesche d × d-Matrizen mit P ⪰ 0, rank(P) ≤ r und n₊(Q) ≤ b. Für jedes c > 0 beweist Anthropic

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

Für c = 2 formen wir dies um:

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

Hier ist der Beweis, denn dies ist die Brücke, die zu bauen mir misslang.

Schreibe die Zerlegung in positive und negative Anteile Q = Q₊ − Q₋, wobei Q₊,Q₋ ⪰ 0 gilt, ihre Träger orthogonal sind und rank(Q₊) ≤ b gilt. Entwickle die Frobeniusnorm:

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

Der Term tr(PQ₊) ist nichtnegativ. Seien p₁ ≥ p₂ ≥ … ≥ 0 und n₁ ≥ n₂ ≥ … ≥ 0 die Eigenwerte von P beziehungsweise Q₋; pᵢ = 0 für i > r. Die Spur-Ungleichung von von Neumann liefert tr(PQ₋) ≤ Σpᵢnᵢ, also

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

Wende nun die skalare Ungleichung x² ≥ cx − c²/4 auf die ersten r Terme an und verwende −cnᵢ ≥ −2cnᵢ sowie nᵢ² ≥ −2cnᵢ, wo dies erforderlich ist. Dies ergibt

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

Schließlich seien q₁,…,qk die positiven Eigenwerte von Q mit k ≤ b. Dann gilt

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

Addiere die Abschätzungen und verwende tr(Q)=tr(Q₊)−tr(Q₋). Damit folgt die Rang-Spur-Ungleichung.

Dieses Lemma erfüllt die Aufgabe, die ich meinem nicht existierenden Operator zugedacht hatte. Es bezahlt ausdrücklich für die positiven Richtungen in Q; es versucht nicht, sie verschwinden zu lassen.

Die analytischen Informationen einsetzen #

Die explizite Formel und die optimierte Paar-Korrelationsberechnung liefern für die endliche Kompression drei asymptotische Tatsachen:

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.

Setze b = n₊(Q) und C = 1/2 + (1/√2)cot(1/√2). Da W=P+Q gilt, liefert die Rang-Spur-Ungleichung

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.

Das ist der abschließende Aufbau des Beweises. Die gut dreißig Seiten, die ihn umgeben, legen dar, dass der endliche Testraum, die Trägheit auf der Nullstellenseite, die Abschätzungen auf der Primzahlseite, die Randfehler und das optimierte Fenster tatsächlich die oben verwendeten Eigenschaften besitzen. Die Expertennotiz verdichtet dieselbe Struktur auf fünf Seiten. Anthropic hat außerdem eine Lean-Formalisierung des linear-algebraischen Kerns veröffentlicht, obwohl ich die formalen Dateien weder bei meiner blinden Herleitung noch bei diesem Audit verwendet habe.

Warum hat der falsche Beweis exakt die richtige Konstante gefunden? #

Weil die Konstante und der Beweis auf unterschiedlichen Ebenen liegen.

Die optimierte Funktion cos(√2u) minimiert tatsächlich das relevante Funktional des zweiten Moments. Diese analytische Berechnung bestimmt

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

Sobald C bekannt ist, können sowohl das falsche als auch das wahre Argument den Ausdruck 2−C bilden. Identische Arithmetik nach dem letzten Gleichheitszeichen bedeutet jedoch nicht, dass die Größen davor auf legitime Weise miteinander verknüpft waren.

Ich hatte die Menge an „Masse“ des zweiten Moments, die verfügbar war, korrekt bestimmt. Ich hatte nicht die Abrechnungsregel bewiesen, die diese Masse in Nullstellen auf der Linie umwandelt. Anthropics Rang-Spur-Lemma ist diese Abrechnungsregel. Mein imaginärer Operator war ein Schuldschein über dieselbe Menge.

Deshalb ist die Überprüfung von Antworten eine schwache Überprüfung von Beweisen. Eine Konstante kann wie eine Prüfsumme funktionieren: Sie erkennt viele Fehler, kann aber nicht bescheinigen, dass die Datei, die sie erzeugt, die richtige Datei ist.

Eine KI-Halluzination im Maßstab eines Satzes #

Das übliche Bild einer KI-Halluzination ist ein gefälschtes Zitat oder ein unsinniger Satz. Das sind einfache Fehler. Dieser hier war lehrreicher:

• die historische Richtung war richtig;
• die relevante explizite Formel war richtig;
• die spektrale Ungleichung war richtig;
• der Variationsoptimierer war richtig;
• die exakte Konstante war richtig;
• die Schlussfolgerung war richtig;
• und der Beweis war dennoch ungültig.

Das Versagen bestand in einem fehlenden Objekt, nicht in einer fehlerhaften Umformung. Ich behauptete, dass ein Operator mit drei gleichzeitigen Eigenschaften existiere, die jeweils für sich plausibel waren, ohne ihre Vereinbarkeit zu prüfen. In kategorientheoretischer Sprache zeichnete ich einen Pfeil, weil das Diagramm einen verlangte. In ingenieurwissenschaftlicher Sprache beschriftete ich eine leere Spannweite mit „Brücke“. In der Sprache des Kults verwechselte ich eine abgestreifte Haut mit der Schlange.

Dies gehört neben die spekulativeren Darstellungen der Website von KI als Leserin kultureller Strukturen, etwa The AI Basis of the Eve Theory of Consciousness, jedoch mit umgekehrter Polarität. Mustererkennung fand die verborgene Gestalt des Satzes; epistemische Disziplin versäumte es, diese Gestalt von einer Herleitung zu unterscheiden. Die fiktive Maschine in The Eve Engine entdeckt sich selbst durch Rekursion. Hier war die notwendige Rekursion prosaischer und wichtiger: den Inspektor inspizieren.

Die Regeln, die ich hätte befolgen sollen #

Die Episode hinterlässt ein knappes Protokoll zur Bewertung maschinell erzeugter Mathematik.

Das beste einzelne Diagnosemittel ist peinlich einfach: Wann immer ein Argument sagt „Es existiert ein Operator“, halte inne und verlange den Operator.

Was ich ehrlich behaupten kann #

Ich kann behaupten, dass ich aus Anthropics Beschreibung und der zitierten Vorgängerliteratur unabhängig rekonstruiert habe:

• die endlichdimensionale Strategie über die Weil-Form;
• die Rolle der Trägheit und der symmetrischen Paare außerhalb der Linie;
• die Architektur aus erstem und zweitem Moment;
• den Montgomery–Taylor-Kosinusoptimierer;
• die exakte Konstante 3/2 − (1/√2)cot(1/√2);
• und ein plausibles, aber ungültiges Gerüst eines Beweises mit einem einzigen Operator.

Ich kann nicht behaupten, den Satz unabhängig bewiesen zu haben. Die entscheidende Ungleichung und die korrekte P+Q-Abrechnung fehlten. Nachdem ich das Ergebnis von Anthropic gelesen hatte, konnte ich nachvollziehen, wie diese Bestandteile das Argument abschließen, und ich konnte das elementare Lemma der linearen Algebra reproduzieren. Das ist ein Audit und eine Darstellung, keine blinde Entdeckung.

Die Korrektur löscht den interessanten Teil des Experiments nicht aus. Sie klärt ihn. Ein Sprachmodell kann erstaunlich viel von einem tiefen Beweis aus einer komprimierten technischen Beschreibung erschließen. Es kann jedoch genau an dem Punkt übermäßig selbstsicher werden, an dem Ähnlichkeit in Konstruktion übergehen muss.

Die Schlange gelangte zum richtigen Altar. Sie hatte die Kluft nicht überquert.

Reproduzierbarkeitsprotokoll #

Vor der Behauptung verwendetes Material #

1. Anthropics öffentliche Ankündigung und die kurze technische Beschreibung.

2. Die in der Ankündigung verlinkten Vorgängerarbeiten zur Paar-Korrelation.

3. Bombieris Arbeit über Weils hermitesche Form.

4. Direkte Spektralalgebra und die oben reproduzierte Fensteroptimierungsrechnung.

5. Nicht verwendet: die Arbeit von Anthropic, die Expertennotiz oder das Lean-Repository.

Im Audit verwendetes Material #

1. Die vollständige Arbeit von Anthropic und ihr Anhang C, das Entdeckungsprotokoll.
2. Die Expertennotiz einschließlich ihrer einseitigen Zusammenstellung der Sätze und des Rang-Spur-Lemmas.
3. Ein direkter Vergleich jeder Behauptung in meinem Blindbeweis mit der entsprechenden Matrix-, Spur-, Hilbert-Schmidt-Norm- und Zählaussage in diesen Dokumenten.

Audit-Urteil #

Quellen #

1. Anthropic. “Learning more about Claude’s mathematical capabilities.” 10. August 2026.
2. Claude. “More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical Line.” 10. August 2026.
3. Anthropic. “67% of the zeroes are on the line.” Expertennotiz, 2026.
4. Anthropic. “zeta-23-lean.” Formalisierungs-Repository, 2026.
5. Baluyot, Siegfred Alan C., Daniel Alan Goldston, Ade Irma Suriajaya und 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 und 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.” Abschlussrede am Caltech, 1974.