Skip to content
#

log-concavity

Star

Here is 1 public repository matching this topic...

BitConcepts / riemann-solver

Sponsor
Star 0

Log-concavity proof of the Riemann Hypothesis via Polya 1927. Rigorous IA (52,898+55,892 subintervals, two libs), extended cert [0,1.5], 36 falsification attacks (7 batches), Lean4 (12 axioms, 4 proved, 0 sorry), AEE score 0.169. DOI: 10.5281/zenodo.20465036

python certificate verification arbitrary-precision interval-arithmetic number-theory arb polya aee riemann-hypothesis lean4 mathematical-proof falsification spectral-theory epistemic-engineering clay-millennium-prize weil-positivity connes-spectral-triples log-concavity
  • Updated Jun 2, 2026
  • Python

Improve this page

Add a description, image, and links to the log-concavity topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the log-concavity topic, visit your repo's landing page and select "manage topics."

Learn more