Claims, announcements and changes across Analytic number theory. https://qed.bot/feeds/collections/analytic-number-theory.xml 2026-09-30T10:56:25Z qed.bot urn:qed:change:claim:1e75b762c9b1 2026-09-30T10:56:25Z

AxiomProver: Proved a bound of 212, building on Stadlmann's work, with a Lean certificate of the deduction. Autonomy A1, evidence V2.

urn:qed:change:claim:e36c3b5ee17d 2026-09-30T10:56:25Z

GPT-6 Astra: Proved that infinitely many pairs of consecutive primes are at most 186 apart. Autonomy A3, evidence V2.

urn:qed:change:claim:0be0b1b52f59 2026-09-30T10:56:25Z

Claude, ChatGPT and Codex: Proved that infinitely many pairs of consecutive primes are at most 236 apart, improving Stadlmann's 240. Autonomy A1, evidence V2.

urn:qed:1e75b762c9b1 2026-09-03T00:00:00Z

Proved a bound of 212, building on Stadlmann's work, with a Lean certificate of the deduction.. Autonomy A1, evidence V2, fidelity F2.

urn:qed:e36c3b5ee17d 2026-09-03T00:00:00Z

Proved that infinitely many pairs of consecutive primes are at most 186 apart.. Autonomy A3, evidence V2, fidelity F2.

urn:qed:0be0b1b52f59 2026-09-01T00:00:00Z

Proved that infinitely many pairs of consecutive primes are at most 236 apart, improving Stadlmann's 240.. Autonomy A1, evidence V2, fidelity F2.

urn:qed:d89f5a143623 2026-08-10T00:00:00Z

Proved that at least two thirds of the zeta zeros are simple and on the critical line, 67.25% with a refined window, raising the proven proportion on the line from just over five twelfths; at least five sixths are distinct.. Autonomy A3, evidence V3, fidelity F2.

urn:qed:announcement:anthropic-2026-08-10 2026-08-10T00:00:00Z

Claims a higher proven proportion of zeta zeros on the critical line. Disclosure D3: 1 of 1 identified, 1 checkable.