Numerical verification of the identity S_p = -a_p(E) linking Fibonacci character sums and CM elliptic curves. DOI: 10.5281/zenodo.18764803

Legendre's Conjecture via short-interval prime persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Infinitely many Mersenne primes via exponential-prime persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Schinzel's Hypothesis H via polynomial-pattern persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Generalized Riemann Hypothesis via L-function zero persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Infinitely many n^2 + 1 primes via polynomial-prime persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Bateman-Horn Conjecture via prime-pattern density persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

構成的素数構成とrad(abc)支配密度を用いたabc予想の統合証明です。例外有限性も非構成的に導出。 Unified proof of the abc conjecture via constructive prime structures and rad(abc) density. Finite exceptions handled non-constructively.

Experimental project for prime number exploration based on the GC-60 model

Verify the identity linking Fibonacci quadratic character sums to Frobenius traces on the CM elliptic curve y² = x³ - 4x.