Head on over to Exploring Mamba's Capabilities with Chess: Ablations, Probing Inner States, and Transformer Comparisons

Or read A zero-free half-plane from a single compensating prime — a compact manuscript for c = 4/33, with a Lean formalization.

And The quartic QRH boundary — c ≈ 0.1251133529600359, with a Lean formalization and three-kernel verification.

Read the latest paper, A zero-free half-plane with boundary 874861/1000000 — c = 0.125139, with its Lean formalization and verification status.