python-flint

Four certified results in analytic number theory: a refined bound for simple zeta zeros on the critical line, C > 3.14279 for the Montgomery–Vaughan constant, the sharp odd Robin threshold, and a refuted Epstein zeta conjecture. Interval-arithmetic certificates, reproduction code, Lean 4 proofs.

Arbitrary precision floating / ball arithmetic (interval arithmetic) dtype in NumPy / array API

Bernstein's constant to ten rigorously certified digits: beta = 0.2801694990, proved in interval arithmetic (Arb) where the 1985 Varga-Carpenter rigorous enclosure gives five. OEIS A073001. Every number re-derivable from the shipped data in exact arithmetic.

OMEGA Framework: certified interval-arithmetic enclosures of the Guinand-Weil matrix (Arb LDL^T, N=400 and N=800 positive definite, ball arithmetic, python-flint). Matrix-constraint verification -- not a proof of the Riemann Hypothesis.

Anonymous CC0 unrefereed candidate on exact low-length Recht–Ré inequalities, with replayable certificates, six-factor balanced families, and a reshuffling metric reversal.

Arb-certified local descent near regular projective-response levels in quantum control.