EHP Conjecture Verified for n=3 through n=12

What's New

• Certified computational verification of the Erdős–Herzog–Piranian conjecture for all degrees n=3 through n=12
• IEEE 1788 interval arithmetic certificates via Rust/inari crate
• Dual implementation cross-check (Python/mpmath + Rust/inari) on x86_64 and arm64
• Closed-form formula for L(z^n - 1) valid for all n
• n=11: 10.2M evaluations, 33 min | n=12: 45M evaluations, 2.67 hr

Links

• Preprint + certified data: Zenodo v3
• DOI: https://doi.org/10.5281/zenodo.19229245